CAPSL integrated protocol environment

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 a...

Full description

Saved in:
Bibliographic Details
Main Authors: Denker, G., Millen, J.
Format: Conference Proceeding
Language:English
Subjects:
Authentication
Banking
Business
Computer science
Connectors
Cryptographic protocols
Cryptography
Laboratories
Logic
Privacy
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
DOI:10.1109/DISCEX.2000.824980