What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis

Abstract

Much attention has been paid to the design of languages for the specification of cryptographic protocols. However, the ability to specify their desired behavior correctly is also important; indeed many perceived protocol flaws arise out of a misunderstanding of the protocol's requirements. In this talk we give a brief survey of the history of requirements specification in formal analysis of cryptographic protocols. We outline the main approaches and describe some of the open issues.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2003
Accession Number
ADA463937

Entities

People

  • Catherine Meadows

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Agreements
  • Authentication
  • Computer Communications
  • Cryptography
  • Denial Of Service Attack
  • Electronic Commerce
  • Failure Mode And Effect Analysis
  • Identities
  • Information Operations
  • Language
  • Military Research
  • Models
  • Notation
  • Personal Information Managers
  • Probabilistic Models
  • Security Protocols
  • Standards

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Cybersecurity.
  • Software Engineering.
  • Systems Analysis and Design