Formal Verification of Cryptographic Protocols: A Survey

Abstract

In this paper we give a survey of the state of the art in the application of formal methods to the analysis of cryptographic protocols. We attempt to outline some of the major threads of research in this area, and also to document some emerging trends.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1995
Accession Number
ADA464292

Entities

People

  • Catherine Meadows

Organizations

  • United States Naval Research Laboratory

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Analyzers
  • Authentication
  • Communication Channels
  • Communication Systems
  • Cryptography
  • Guarantees
  • Information Operations
  • Interrogators
  • Language
  • Machines
  • Military Research
  • Personal Information Managers
  • Secure Communications
  • Security
  • Security Protocols
  • Standards

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Cybersecurity.
  • Technical Research and Report Writing.