Questions Columns Rows
GitHub icon

Common Authentication Protocol Specification Language

Common Authentication Protocol Specification Language - Programming language

< >

Common Authentication Protocol Specification Language is a programming language created in 1996.

#3617on PLDB 27Years Old

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.


View source

- Build the next great programming language Search Add Language Features Creators Resources About Blog Acknowledgements Stats Sponsor Traffic Traffic Today Day 268 feedback@pldb.com Logout