DocumentCode
3101861
Title
A system for the specification and analysis of key management protocols
Author
Meadows, Catherine
Author_Institution
US Naval Res. Lab., Washington, DC, USA
fYear
1991
fDate
20-22 May 1991
Firstpage
182
Lastpage
195
Abstract
Describes a formal specification language and verification technique for analyzing key management protocols. A prototype verification tool that can be used to apply this technique is introduced. A protocol intended for use in the management of resource sharing, is formally specified and verified, and it is shown how the use of the considered techniques led to the discovery of a flaw that could be exploited by an intruder to convince a user of the system that he has obtained a service when he actually has not
Keywords
cryptography; protocols; resource allocation; software tools; specification languages; encryption; formal specification language; key management protocols; prototype verification tool; resource sharing; verification technique; Authentication; Cryptographic protocols; Cryptography; Formal specifications; Information analysis; Information security; Information technology; Laboratories; Logic; Technology management;
fLanguage
English
Publisher
ieee
Conference_Titel
Research in Security and Privacy, 1991. Proceedings., 1991 IEEE Computer Society Symposium on
Conference_Location
Oakland, CA
Print_ISBN
0-8186-2168-0
Type
conf
DOI
10.1109/RISP.1991.130786
Filename
130786
Link To Document