Cryptographic Protocols Flaws.

Published in: CSFW (1994)

Keyphrases

cryptographic protocols
security properties
standard model
authentication protocol
security protocols
database systems
formal verification
lightweight
encryption decryption