Analyzing the Needham-Schroeder Public Key Protocol: A Comparison of Two Approaches

Abstract

In this paper we contrast the use of the NRL Protocol Analyzer and Gavin Lowe's use of the model checker FDR [7] to analyze the Needham-Schroeder public key protocol. This is used as a basis to compare and contrast the two systems and to point out possible future directions for research.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1996
Accession Number
ADA465136

Entities

People

  • Catherine Meadows

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Analyzers
  • Authentication
  • Computers
  • Contrast
  • Cryptography
  • Explosives Initiators
  • Formal Languages
  • Information Operations
  • Language
  • Military Research
  • Neurobehavioral Manifestations
  • Security
  • Security Protocols
  • Standards
  • Statistics
  • Transitions

Fields of Study

  • Computer science

Readers

  • Computational Modeling and Simulation
  • Cybersecurity.
  • Government Contracting/Procurement.