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

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

From DARPA Information and Survivability Conference and Exposition (DISCEX'00).
Hilton Head, South Carolina.
January, 2000.
Pages 207–221.

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 CIL, an intermediate language expressing state transitions with term-rewriting rules. Connectors are being written to adapt CIL to supply input to different security analysis tools, including PVS for inductive verification and Maude for model-checking.
BibTEX Entry
    AUTHOR = {Grit Denker and Jonathan Millen},
    TITLE = {{CAPSL} Integrated Protocol Environment},
    BOOKTITLE = {{DARPA} Information and Survivability Conference and Exposition (DISCEX'00)},
    YEAR = {2000},
    PAGES = {207--221},
    ADDRESS = {Hilton Head, South Carolina},
    MONTH = {Jan},
    URL = {}


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