Title :
Generating formal cryptographic protocol specifications
Author_Institution :
Ecole Nat. Superieure des Telecommun. de Bretagne, Cesson Sevigne, France
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;
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
DOI :
10.1109/RISP.1994.296586
