CAPSL interface for the NRL Protocol Analyzer
- 20 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
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
This publication has 15 references indexed in Scilit:
- Analysis of the Internet Key Exchange protocol using the NRL Protocol AnalyzerPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Generating formal cryptographic protocol specificationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Casper: a compiler for the analysis of security protocolsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Automated analysis of cryptographic protocols using MurφPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verificationComputer Communications, 1999
- A formal specification of requirements for payment transactions in the SET protocolPublished by Springer Nature ,1998
- The NRL Protocol Analyzer: An OverviewThe Journal of Logic Programming, 1996
- Kerberos: an authentication service for computer networksIEEE Communications Magazine, 1994
- Efficient and timely mutual authenticationACM SIGOPS Operating Systems Review, 1987
- Using encryption for authentication in large networks of computersCommunications of the ACM, 1978