| | | | |
|
CAPSL Intermediate Language
by Dr. Grit Denker & J. Millen.
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 specification is a message list like the ones that are often used to present cryptographic protocols in articles and textbooks.
Files
|
|
|