A Model of Computation for the NRL Protocol Analyzer

Abstract

In this paper we develop a model of computation for the NRL Protocol Analyzer by modifying and extending the model of computation for Burroughs, Abadi, and Needham (BAN) logic developed by Abadi and Tuttle. We use the results to point out the similarities and differences between the NRL Protocol Analyzer and BAN logic, and discuss the issues this raises with respect to the possible integration of the two.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1994
Accession Number
ADA465465

Entities

People

  • Catherine Meadows

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Counter IED
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Analyzers
  • Computations
  • Computers
  • Concrete
  • Cryptography
  • Cybersecurity
  • Distributed Computing
  • Environment
  • Language
  • Machine Tools
  • Military Research
  • Security
  • Security Protocols
  • Semantics
  • Sequences
  • Transitions

Readers

  • Artificial Intelligence
  • Computer Science.
  • Hydraulic Engineering.