Proof of Soundness (Integrity) of Cryptographic Protocols.

Gustavus J. Simmons

Published in: J. Cryptol. (1994)

Keyphrases

cryptographic protocols
standard model
authentication protocol
security properties
security protocols
integrity constraints
database
formal verification
encryption decryption