CAPSL: Common Authentication Protocol Specification Language

• Authors:

• Jonathan K. Millen

• Affiliations:

• The MITRE Corporation, Bedford, MA

• Venue:
• NSPW '96 Proceedings of the 1996 workshop on New security paradigms
• Year:
• 1996