Common Authentication Protocol Specification Language is a programming language created in 1996. 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.

24Years Old ?Users ?Jobs

Last updated February 18th, 2020

Edit Common Authentication Protocol Specification Language on GitHub