Accession Number:

ADA465512

Title:

On Unifying Some Cryptographic Protocol Logics

Descriptive Note:

Corporate Author:

NAVAL RESEARCH LAB WASHINGTON DC

Report Date:

1994-01-01

Pagination or Media Count:

16.0

Abstract:

We present a logic for analyzing cryptographic protocols. This logic encompasses a unification of four of its predecessors in the BAN family of logics, namely those given in GNY90, AT91, vO93, and BAN itself BAN89. We also present a model-theoretic semantics with respect to which the logic is sound. The logic herein captures all of the desirable features of its predecessors and more nonetheless, it accomplishes this with no more axioms or rules than the simplest of its predecessors.

Subject Categories:

  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE