Title :
A logical language for specifying cryptographic protocol requirements
Author :
Syverson, Paul ; Meadows, Catherine
Author_Institution :
US Naval Res. Lab., Washington, DC, USA
Abstract :
A formal language is presented for specifying and reasoning about cryptographic protocol requirements. Examples of simple sets of requirements in that language are given. The authors examine two versions of a protocol that might meet those requirements and show how to specify them in the language of the NRL Protocol Analyzer. They also show how to map one of the sets of formal requirements to the language of the NRL Protocol Analyzer and use the Analyzer to show that one version of the protocol meets those requirements. The Analyzer is used as a model checker to assess the validity of the formulas that make up the requirements
Keywords :
cryptography; formal specification; protocols; specification languages; NRL Protocol Analyzer; cryptographic protocol requirements; formal language; formal requirements; logical language; model checker; requirements specification; Banking; Body sensor networks; Cryptographic protocols; Cryptography; Formal languages; Graphics; Laboratories; Logic; Security; Voting;
Conference_Titel :
Research in Security and Privacy, 1993. Proceedings., 1993 IEEE Computer Society Symposium on
Conference_Location :
Oakland, CA
Print_ISBN :
0-8186-3370-0
DOI :
10.1109/RISP.1993.287634
