Accession Number:

ADA465136

Title:

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

Descriptive Note:

Corporate Author:

NAVAL RESEARCH LAB WASHINGTON DC CENTER FOR HIGH ASSURANCE COMPUTING SYSTEMS (CHACS)

Personal Author(s):

Report Date:

1996-01-01

Pagination or Media Count:

15.0

Abstract:

In this paper we contrast the use of the NRL Protocol Analyzer and Gavin Lowes 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.

Subject Categories:

  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE