Reasoning about Belief in Cryptographic Protocols
Author
Li Gong, Roger Needham, and Raphael Yahalom
Entry type
article
Abstract
Analysis methods for cryptographic protocols have often focused on information leakage rather than on seeing whether a protocol meets its goals. Many protocols, however, fall far short of meeting their goals, sometimes for quite subtle reasons
Key alpha
Gong
Pages
14
Publication Date
0000-00-00
Language
English
Location
A hard-copy of this is in the Papers Cabinet