Title :
A system for the specification and analysis of key management protocols
Author :
Meadows, Catherine
Author_Institution :
US Naval Res. Lab., Washington, DC, USA
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;
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
DOI :
10.1109/RISP.1991.130786
