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

CAPSL Integrated Protocol Environment
 by Dr. Grit Denker & J. Millen.

Abstract
CAPSL, a Common Authentication Protocol Specification Language, is a high-level language to support security analysis of cryptographic authentication and key distribution protocols. It is translated to ClL, an intermediate language expressing state transitions with term-rewriting rules. Connectors are being written to adapt ClL to supply input to different security analysis tools, including PVS for inductive verification and Maude for model-checking.
Files
 













 

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