Capsl intermediate language
| Author(s) : | J. Millen G. Denker, |
| Publisher : | N/A |
| Publication Date : | 1999 |
| ISSN : | N/A |
| Abstract : | The acronym "CAPSL " stands for "Common Authentication Protocol Specification Language. " It is a high-level language for cryptographic authentication and key distribution protocols that could be used as the input format for a variety of formal analysis techniques. The core of a CAPSL, |