A Logic for the Analysis of Cryptographic Protocols

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 31, 1990
Accession Number
ADA230779

Entities

People

  • Paul Syverson

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Computers
  • Cryptography
  • Cybersecurity
  • Formal Languages
  • Guarantees
  • Information Systems
  • Language
  • Military Research
  • Reasoning
  • Security
  • Security Protocols
  • Semantics
  • Specifications
  • Standards
  • Theorems

Fields of Study

  • Mathematics

Readers

  • Computational Linguistics
  • Systems Analysis and Design
  • Tactical Satellite Communications Systems Engineering.