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

CAPSL Intermediate Language
 by Dr. Grit Denker & J. Millen.

Abstract
The acronym "CAPSL" stands for "Common Authentication Protocol Specification Language." It is a high-level language for cryptographic authentication and key distribution protocols that could be used as the input format for a variety of formal analysis techniques. The core of a CAPSL specification is a message list like the ones that are often used to present cryptographic protocols in articles and textbooks.
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