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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 2001
Accession Number
ADA399523

Entities

People

  • Grit Denker
  • Harald Rueess
  • Jonathan Millen

Organizations

  • SRI International

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Air Force Research Laboratories
  • Algorithms
  • Asymetric Encryption
  • Authentication
  • Coding
  • Computer Networks
  • Computer Programming
  • Computer Science
  • Computers
  • Cryptography
  • Cybersecurity
  • Language
  • Prototypes
  • Security Protocols
  • Specifications
  • Standards

Fields of Study

  • Computer science

Readers

  • Aerospace Engineering.
  • Computational Linguistics
  • Groundwater Contamination Remediation.