Login / Signup
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