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 ClL, an intermediate language expressing state transitions with term-rewriting rules. Connectors are being written to adapt ClL to supply input to different security analysis tools, including PVS for inductive verification and Maude for model-checking.

• discexCAPSL99.ps