CAPSL interface for the NRL Protocol Analyzer

Author

Brackin, Stephen ; Meadows, Catherine ; Millen, Jonathan

Author_Institution

Arca Syst., Ithaca, NY, USA

fYear

1999

fDate

1999

Firstpage

64

Lastpage

73

Abstract

The Common Authentication Protocol Specification Language (CAPSL) is a high-level language for applying formal methods to the security analysis of cryptographic protocols. Its goal is to permit a protocol to be specified once in a form that is usable as an interface to any type of analysis tool or technique, given appropriate translation software. This paper describes the first operational CAPSL translator to the language used by the NRL Protocol Analyzer (NPA), a software tool developed specifically for the analysis of cryptographic protocols

Keywords

application program interfaces; cryptography; network analysers; program interpreters; protocols; specification languages; CAPSL interface; CAPSL translator; Common Authentication Protocol Specification Language; NRL Protocol Analyzer; cryptographic protocols; formal methods; high-level language; security analysis; software tool; translation software; Application software; Authentication; Cryptographic protocols; Cryptography; Data security; Failure analysis; High level languages; Laboratories; Logic; Software tools;

fLanguage

English

Publisher

ieee

Conference_Titel

Application-Specific Systems and Software Engineering and Technology, 1999. ASSET '99. Proceedings. 1999 IEEE Symposium on

Conference_Location

Richardson, TX

Print_ISBN

0-7695-0122-2

Type

conf

DOI

10.1109/ASSET.1999.756753

Filename

756753