Jonathan K. Millen. CAPSL: Common Authentication Protocol Specification Language. In Tom Haigh, Hilary H. Hosmer, editors, Proceedings of the 1996 Workshop on New Security Paradigms, Lake Arrowhead, CA, USA, September 17-20, 1996. pages 132, ACM, 1996. [doi]
Abstract is missing.