Formal Methods for Cryptographic Protocol Analysis: Emerging Issues and Trends

Abstract

The history of the application of formal methods to cryptographic protocol analysis spans over twenty years, and recently has been showing signs of new maturity and consolidation. Not only have a number of specialized tools been developed, and general-purpose ones been adapted, but people have begun applying these tools to realistic protocols, in many cases supplying feedback to designers that can be used to improve the protocol's security. In this paper we will describe some of the ongoing work in this area, as well as describe some of the new challenges and the ways in which they are being met.

Open PDF

Document Details

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

Entities

People

  • Catherine Meadows

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Algorithms
  • Anonymous Communications
  • Authentication
  • Commerce
  • Computer Communications
  • Computer Networks
  • Contracts
  • Cryptography
  • Cybersecurity
  • Denial Of Service Attack
  • Electronic Commerce
  • Internet
  • Language
  • Networks
  • Security Protocols
  • Standards
  • Statistical Analysis

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Cybersecurity.
  • Systems Analysis and Design