14th Annual Computer Security Applications Conference
December 7-11, 1998
Phoenix, Arizona


An Environment for the Specification and Analysis of Cryptoprotocols

M. Debbabi, Y. Legare, M. Mejri,

Computer Science Department,
Laval University,
Quebec, G1K 7P4,

In this paper, 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 recently 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 details the key issues in its implementation. Finally, we illustrate the LSFM method and the CPV environment on two case studies.