A Formal Approach to Distance-Bounding RFID Protocols.

Ulrich Dürholz Marc Fischlin Michael Kasper Cristina Onete

Published in: IACR Cryptol. ePrint Arch. (2011)

Keyphrases

anti collision
distance measure
upper bound
distance function
low cost
supply chain
rfid tags
formal methods
radio frequency identification
formal specification
application level
real time
euclidean distance
distance metric
distance transform
ubiquitous computing
multi party
formal representation