DocumentCode
1884907
Title
Generating formal cryptographic protocol specifications
Author
Carlsen, Ulf
Author_Institution
Ecole Nat. Superieure des Telecommun. de Bretagne, Cesson Sevigne, France
fYear
1994
fDate
16-18 May 1994
Firstpage
137
Lastpage
146
Abstract
This paper describes a tool which translates a cryptographic protocol specified in the semi-formal standard notation i. A→B:M into the formal language CKT5. We examine the standard notation syntax, and describe how it is exploited by the tool to infer protocol conditions which must hold for every principal, thereby obtaining a complete, formal specification of the protocol. The translation criteria described herein are applicable to other target languages than CKT5
Keywords
cryptography; formal specification; protocols; formal cryptographic protocol specifications; formal language CKT5; formal specification; standard notation syntax; Cryptographic protocols; Cryptography; Formal languages; Formal specifications; Graphics; Logic; Robustness; Security; Specification languages; Tin;
fLanguage
English
Publisher
ieee
Conference_Titel
Research in Security and Privacy, 1994. Proceedings., 1994 IEEE Computer Society Symposium on
Conference_Location
Oakland, CA
Print_ISBN
0-8186-5675-1
Type
conf
DOI
10.1109/RISP.1994.296586
Filename
296586
Link To Document