SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

CAPSL Interface for the NRL Protocol Analyzer
 by Stephen Brakin, Catherine Meadows & Jonathan Millen.

Abstract
The Common Authentication Protocol Specification Language (CAPSL) is high-level language for applying formal methods to the security analysis of cryptographic protocols. It's goal is to permit a protocol to be specific 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.
Files
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy