Title :
Formal semantics for logics of cryptographic protocols
Author_Institution :
US Naval Res. Lab., Washington, DC, USA
Abstract :
A logic and associated formal semantics specifically designed to represent and analyze cryptographic protocols are presented. A language is given with distinct means to represent knowledge of an individual word (e.g., the ability to recognize or produce a decryption key) and propositional knowledge. A sample analysis of a protocol is given to demonstrate the potential usefulness of the system
Keywords :
cryptography; formal languages; formal logic; protocols; cryptographic protocols; decryption key; formal logic; formal semantics; individual word; propositional knowledge; Cryptographic protocols; Distributed computing; Information analysis; Information technology; Laboratories; Logic design; Specification languages;
Conference_Titel :
Computer Security Foundations Workshop III, 1990. Proceedings
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-2071-4
DOI :
10.1109/CSFW.1990.128183
