Title :
An environment for the specification and analysis of cryptoprotocols
Author :
Debbabi, M. ; Legare, Y. ; Mejri, M.
Author_Institution :
Dept. of Comput. Sci., Laval Univ., Que., Canada
Abstract :
We present the environment CPV (Cryptographic Protocol Verifier), a tool-set for the specification and analysis of cryptographic protocols. The CPV environment is based on the LSFM method that has been advanced as a formal, automatic and implicit verification method for security protocols. We recall briefly the essence of this method and present the architecture of the CPV environment. We discuss its main software components and detail the key issues in its implementation. Finally, we illustrate the LSFM method and the CPV environment on two case studies
Keywords :
cryptography; formal specification; formal verification; protocols; CPV; Cryptographic Protocol Verifier; LSFM method; case studies; cryptoprotocol specification; formal verification method; software components; Authentication; Body sensor networks; Computer architecture; Computer science; Cryptographic protocols; Cryptography; Electronic commerce; Internet; Logic; Security;
Conference_Titel :
Computer Security Applications Conference, 1998. Proceedings. 14th Annual
Conference_Location :
Phoenix, AZ
Print_ISBN :
0-8186-8789-4
DOI :
10.1109/CSAC.1998.738652
