DocumentCode
2748125
Title
Formal semantics for logics of cryptographic protocols
Author
Syverson, Paul
Author_Institution
US Naval Res. Lab., Washington, DC, USA
fYear
1990
fDate
12-14 Jun 1990
Firstpage
32
Lastpage
41
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop III, 1990. Proceedings
Conference_Location
Franconia, NH
Print_ISBN
0-8186-2071-4
Type
conf
DOI
10.1109/CSFW.1990.128183
Filename
128183
Link To Document