Title :
The value of semantics for the analysis of cryptographic protocols
Author_Institution :
Naval Res. Lab., Center for Secure Inf. Technol., Washington, DC, USA
Abstract :
The author distinguishes between `heuristic´ and `holistic´ issues in the formal analysis of cryptographic protocols and discusses the contribution semantics can make to settling these issues
Keywords :
computational linguistics; cryptography; protocols; cryptographic protocols; formal analysis; heuristics; holistics; semantics; Cryptographic protocols; Cryptography; Failure analysis; Graphics; Information analysis; Information technology; Laboratories; Logic; Psychology;
Conference_Titel :
Computer Security Foundations Workshop IV, 1991. Proceedings
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-2215-6
DOI :
10.1109/CSFW.1991.151593
