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

fYear

1998

fDate

7-11 Dec 1998

Firstpage

321

Lastpage

332

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Security Applications Conference, 1998. Proceedings. 14th Annual

Conference_Location

Phoenix, AZ

ISSN

1063-9527

Print_ISBN

0-8186-8789-4

Type

conf

DOI

10.1109/CSAC.1998.738652

Filename

738652

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2461304