The Logic of Authentication Protocols.

Paul F. Syverson Iliano Cervesato

Published in: FOSAD (2000)

Keyphrases

authentication protocol
smart card
security analysis
lightweight
modal logic
public key
cryptographic protocols
data integration
rfid tags
real time
hash functions
security protocols
ban logic