On the Verification of Cryptographic Protocols - A Tale of Two Committees.

Dieter Gollmann

Published in: Electron. Notes Theor. Comput. Sci. (2000)

Keyphrases

cryptographic protocols
security properties
standard model
security protocols
real time
authentication protocol
image compression
formal verification
private information retrieval