The NRL Protocol Analyzer: An Overview

Abstract

The NRL Protocol Analyzer is a prototype special-purpose verification tool, written in Prolog, that has been developed for the analysis of cryptographic protocols that are used to authenticate principals and services and distribute keys in a network. In this paper we give an overview of how the Analyzer works and describe its achievements so far. We also show how our use of the Prolog language benefited us in the design and implementation of the Analyzer.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1995
Accession Number
ADA465542

Entities

People

  • Catherine Meadows

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Algorithms
  • Analyzers
  • Asymetric Encryption
  • Automatic
  • Boolean Algebra
  • Communication Channels
  • Cryptography
  • Databases
  • Formal Languages
  • Guarantees
  • Language
  • Military Research
  • Models
  • Product Prototyping
  • Security Protocols
  • Software Prototyping
  • Trees (Data Structures)

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Parallel and Distributed Computing.
  • Research Science/Academic Research