Accession Number:

ADA463016

Title:

The NRL Protocol Analyzer: An Overview

Descriptive Note:

Corporate Author:

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

Personal Author(s):

• Meadows, Catherine A.

Report Date:

1994-01-01

Pagination or Media Count:

10.0

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.

Descriptors:

• *CRYPTOGRAPHY
• REQUIREMENTS
• VERIFICATION
• PROTOTYPES
• COMMUNICATIONS NETWORKS

Subject Categories:

• Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE