Accession Number:

ADA399523

Title:

The Common Authentication Protocol Specification Language (CAPSL) Integrated Protocol Environment

Descriptive Note:

Final rept. Aug 1998-Jul 2000

Corporate Author:

SRI INTERNATIONAL MENLO PARK CA COMPUTER SCIENCE LAB

Personal Author(s):

• Denker, Grit
• Millen, Jonathan
• Rueess, Harald

Report Date:

2001-12-01

Pagination or Media Count:

134.0

Abstract:

CAPSL is a Common Authentication Protocol Specification Language intended to support analysis of cryptographic protocols using formal methods. CAPSL is adapted for use by various protocol analysis tools using an intermediate language, named CAPSL Intermediate Language CIL. This report includes a CAPSL tutorial, the syntax of CAPSL and CIL, and the abstract rewriting model underlying CIL. Algorithms are given for translating CAPSL to CIL and for CIL rule optimization. Methods are given for integration of CAPSL and CIL with analysis tools, specifically Prototype Verification System PVS, Maude, and Athena, and for protocol analysis using PVS and Maude.

Descriptors:

• *PROTOTYPES
• *LANGUAGE
• *JAVA PROGRAMMING LANGUAGE
• ALGORITHMS
• VERIFICATION
• SPECIFICATIONS
• SYNTAX

Subject Categories:

• Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE