Accession Number:

ADA230779

Title:

A Logic for the Analysis of Cryptographic Protocols

Descriptive Note:

Rept. for Oct 1989-Sep 1990

Corporate Author:

NAVAL RESEARCH LAB WASHINGTON DC

Personal Author(s):

• Syverson, Paul F.

Report Date:

1990-12-31

Pagination or Media Count:

19.0

Abstract:

A logic designed to analyze cryptographic protocols is presented in this report. The logic has distinct means for representing propositional knowledge in the sense of familiarity with an individual, e.g., a particular key. It is argued that the introduction of a knowledge predicate is useful and genuine increase in expressive power. The semantics and metalogic of the logic are also explored.

Descriptors:

• *SEMANTICS

Subject Categories:

• Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE