DocumentCode
1653715
Title
CAPSL integrated protocol environment
Author
Denker, G. ; Millen, J.
Author_Institution
Comput. Sci. Lab., SRI Int., Menlo Park, CA, USA
Volume
1
fYear
2000
fDate
6/22/1905 12:00:00 AM
Firstpage
207
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;
fLanguage
English
Publisher
ieee
Conference_Titel
DARPA Information Survivability Conference and Exposition, 2000. DISCEX '00. Proceedings
Conference_Location
Hilton Head, SC
Print_ISBN
0-7695-0490-6
Type
conf
DOI
10.1109/DISCEX.2000.824980
Filename
824980
Link To Document