A Formal Approach to Distance-Bounding RFID Protocols

Ulrich Dürholz, Marc Fischlin, Michael Kasper, Cristina Onete. A Formal Approach to Distance-Bounding RFID Protocols. IACR Cryptology ePrint Archive, 2011:321, 2011. [doi]

Abstract

Abstract is missing.