A Formal Framework for Cryptanalyzing RFID Distance Bounding...

Many distance bounding protocols appropriate for RFID technology have been proposed recently. However, the design and the analysis of these...