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.

@inproceedings{denmil00,
    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 = {http://www.csl.sri.com/papers/denmil00/}
}

• denmil00.ps.gz