Login / Signup
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