Title :
CAPSL integrated protocol environment
Author :
Denker, G. ; Millen, J.
Author_Institution :
Comput. Sci. Lab., SRI Int., Menlo Park, CA, USA
fDate :
6/22/1905 12:00:00 AM
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
Keywords :
formal verification; high level languages; protocols; security of data; CAPSL; Common Authentication Protocol Specification Language; Maude; PVS; cryptographic authentication; inductive verification; key distribution protocols; model-checking; security analysis; security analysis tools; term-rewriting; Authentication; Banking; Business; Computer science; Connectors; Cryptographic protocols; Cryptography; Laboratories; Logic; Privacy;
Conference_Titel :
DARPA Information Survivability Conference and Exposition, 2000. DISCEX '00. Proceedings
Conference_Location :
Hilton Head, SC
Print_ISBN :
0-7695-0490-6
DOI :
10.1109/DISCEX.2000.824980
