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

The CAPSL Integrated Protocol Environment
 by Dr. Grit Denker, Dr. Harald Rueß & J. Millen.

Number SRI-CSL-2000-02.
Computer Science Laboratory, SRI International.
October, 2000.

Abstract:

CAPSL is a Common Authentication Protocol Specification Language intended to support analysis of cryptographic protocols using formal methods. CAPSL is adapted for use by various protocol analysis tools using an intermediate language, CIL. This report includes a CAPSL tutorial, the syntax of CAPSL and CIL, and the abstract rewriting model underlying CIL. Algorithms are given for translating CAPSL to CIL and for CIL rule optimization. Methods are given for integration of CAPSL and CIL with analysis tools, specifically PVS, Maude, and Athena, and for protocol analysis using PVS and Maude.

BibTEX entry:

@techreport{sri-csl-2000-02,
    AUTHOR = {{G.} Denker and {J.} Millen and {H.} Ruess},
    TITLE = {The {CAPSL} Integrated Protocol Environment},
    YEAR = {2000},
    NUMBER = {{SRI-CSL-2000-02}},
    MONTH = {October},
    URL = {http://www.csl.sri.com/papers/sri-csl-2000-02/},
    PUBLISHER = {Computer Science Laboratory, {SRI} International}
}

Download:


sri-csl-2000-02.pdf

Adobe Acrobat

sri-csl-2000-02.ps

PostScript


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