Verification and Modelling of Authentication Protocols.

Ralf C. Hauser E. Stewart Lee

Published in: ESORICS (1992)

Keyphrases

authentication protocol
cryptographic protocols
smart card
lightweight
security analysis
formal analysis
ban logic
real time
model checking
public key
security protocols
formal verification
query processing
cost effective
hash functions