Logics for Cryptographic Protocols - Virtues and Limitations.

Virgil D. Gligor Rajashekar Kailar Stuart G. Stubblebine Li Gong

Published in: CSFW (1991)

Keyphrases

cryptographic protocols
standard model
expressive power
modal logic
security properties
authentication protocol
security protocols
locally decodable codes
information systems
low cost
smart card
private information retrieval