DocumentCode
1823393
Title
A logical language for specifying cryptographic protocol requirements
Author
Syverson, Paul ; Meadows, Catherine
Author_Institution
US Naval Res. Lab., Washington, DC, USA
fYear
1993
fDate
24-26 May 1993
Firstpage
165
Lastpage
177
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/RISP.1993.287634
Filename
287634
Link To Document