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 specification is a message list like the ones that are often used to present cryptographic protocols in articles and textbooks.

• denmil99b.ps