CAPSL Interface for the NRL Protocol Analyzer

Abstract

The Common Authentication Protocol Specification Language (CAPSL) is a high-level language for applying formal methods to the security analysis of cryptographic protocols. Its goal is to permit a protocol to be specified once in a form that is usable as an interface to any type of analysis tool or technique, given appropriate translation software. This paper describes the first operational CAPSL translator to the language used by the NRL Protocol Analyzer (NPA), a software tool developed specifically for the analysis of cryptographic protocols.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1999
Accession Number
ADA464994

Entities

People

  • Catherine Meadows
  • Jonathan Millen
  • Stephen Brackin

Organizations

  • United States Naval Research Laboratory

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Analyzers
  • Compilers
  • Computer Programming
  • Cryptography
  • Cybersecurity
  • Language
  • Military Research
  • Notation
  • Procedures (Computers)
  • Programming Languages
  • Security
  • Security Protocols
  • Translations
  • Translators
  • Websites

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Software Engineering.
  • Tribology (the study of the boundary interaction between sliding surfaces, lubrication, wear and friction).