A Formally Verified Device Authentication Protocol Using Casper/FDR.

Mahdi Aiash Glenford E. Mapp Raphael C.-W. Phan Aboubaker Lasebae Jonathan Loo

Published in: TrustCom (2012)

Keyphrases

authentication protocol
rfid tags
smart card
security analysis
lightweight
public key
security protocols
false discovery rate
secret key
low cost
radio frequency identification
rfid systems
hash functions
resource constrained
security requirements
information security
wireless networks
password authentication