On Unifying Some Cryptographic Protocol Logics

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1994
Accession Number
ADA465512

Entities

People

  • Paul C. Van Oorschot
  • Paul Syverson

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Agreements
  • Algorithms
  • Asymetric Encryption
  • Authentication
  • Comprehension
  • Computations
  • Computer Programs
  • Computer Science
  • Computers
  • Cryptography
  • Cybersecurity
  • Language
  • Military Research
  • Notation
  • Reasoning
  • Security Protocols

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Computational Linguistics
  • Computer Networking
  • Military History / Militaries and War Studies