Prover Anonymous and Deniable Distance-Bounding Authentication.

Sébastien Gambs Cristina Onete Jean-Marc Robert

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

Keyphrases

authentication protocol
smart card
security analysis
public key
user authentication
security protocols
lightweight
distance measure
theorem proving
upper bound
rfid tags
hash functions
distance function
secret key
security mechanisms
theorem prover
anomaly detection
low cost