|

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 207221.
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 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
@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/}
}
Files
|
|