Reasoning about Belief in Cryptographic Protocols.

Li Gong Roger M. Needham Raphael Yahalom

Published in: IEEE Symposium on Security and Privacy (1990)

Keyphrases

cryptographic protocols
modal operators
security protocols
standard model
belief revision
authentication protocol
modal logic
security properties
belief functions
encryption decryption
locally decodable codes
database
formal theory