Verifying The Correctness Of Cryptographic Protocols Using "Convince".

Randall W. Lichota Grace L. Hammonds Stephen H. Brackin

Published in: ACSAC (1996)

Keyphrases

cryptographic protocols
standard model
security properties
model checking
authentication protocol
locally decodable codes
security protocols
database systems
digital libraries
distributed systems
conflict resolution
encryption decryption
private information retrieval