Open Issues in Formal Methods for Cryptographic Protocol Analysis

Abstract

The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidation. A number of specialized tools have been developed, and other have effectively demonstrated that existing general-purpose tools can also be applied to these problems with good results. However, with this better understanding of the field comes new problems that strain against the limits of the existing tools. In this paper we will outline some of these new problem areas, and describe what new research needs to be done to meet the challenges posed.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 23, 2001
Accession Number
ADA389246

Entities

People

  • Catherine Meadows

Tags

Communities of Interest

  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Abstracts
  • Agreements
  • Anonymous Communications
  • Asymetric Encryption
  • Classification
  • Computer Communications
  • Computer Networks
  • Cryptography
  • Denial Of Service Attack
  • Electronic Commerce
  • Electronic Mail
  • Information Assurance
  • Internet
  • Language
  • Materials
  • Secure Communications
  • Security Protocols

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Computational Modeling and Simulation
  • Cybersecurity.
  • Systems Analysis and Design