Formal Requirements for Key Distribution Protocols

Abstract

We discuss generic formal requirements for reasoning about two party key distribution protocols, using a language developed for specifying security requirements for security protocols. Typically earlier work has considered formal analysis of already developed protocols. Our goal is to present sets of formal requirements for various contexts which can be applied at the design stage as well as to existing protocols. We use a protocol analysis tool we have developed to determine whether or not a specific protocol has met some of the requirements we specified. We show how this process uncovered a flaw in the protocol and helped us refine our requirements.

Open PDF

Document Details

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

Entities

People

  • Catherine Meadows
  • Paul Syverson

Organizations

  • United States Naval Research Laboratory

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Alphabets
  • Analyzers
  • Authentication
  • Computers
  • Environment
  • Explosives Initiators
  • Formal Languages
  • Information Operations
  • Language
  • Military Research
  • Money
  • Notation
  • Robotics
  • Security
  • Security Protocols
  • Semantic Models

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Computer Networking
  • Mathematical Modeling and Probability Theory.
  • Systems Analysis and Design