A Hybrid Analysis for Security Protocols with State

Abstract

Cryptographic protocols rely on message-passing to coordinate activity among principals. Many richly developed tools, based on well-understood foundations, are available for the design and analysis of pure message-passing protocols. However, in many protocols, a principal uses non-local, mutable state to coordinate its local sessions.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 16, 2014
Accession Number
AD1016625

Entities

People

  • Daniel J. Dougherty
  • John D. Ramsdell
  • Joshua D. Guttman
  • Paul D. Rowe

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Authentication
  • Coding
  • Cryptography
  • Language
  • Message Encoding
  • Models
  • National Security
  • Notation
  • Platforms
  • Reasoning
  • Security
  • Security Protocols
  • Skeleton
  • Transitions

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Computer Networking
  • Systems Analysis and Design