A Formal Approach to Distance-Bounding RFID Protocols.
Ulrich DürholzMarc FischlinMichael KasperCristina OnetePublished in: ISC (2011)
Keyphrases
- anti collision
- upper bound
- data collection
- distance function
- supply chain
- communication protocols
- distance measure
- formal model
- distance transform
- rfid tags
- minimum distance
- formal specification
- information systems
- rfid middleware
- mutual authentication
- radio frequency identification
- hamming distance
- euclidean distance
- low cost