Probability Distributions over Cryptographic Protocols

Abstract

This study examines the problem of assuring correct functionality of cryptographic protocol verifiers. As a replacement for manual input of well-known protocols, we propose the creation of a random protocol generator capable of producing protocols of varying degrees of correctness. This generator would be verifier-independent, and the protocols would be translated into verifier languages as required. This would automate not only the creation of protocols, but eliminate the variability both in translation quality and in the resulting body of tests. To this end, we propose a common definition for cryptographic protocols, develop multiple probability distributions over this definition, and implement a generator that uses these distributions. As a proof of concept, we translate protocols created by the generator into a suitable format for the Cryptographic Protocol Shapes Analyzer.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 2009
Accession Number
ADA501784

Entities

People

  • Stephanie J. Skaff

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Human Systems

DTIC Thesaurus Topics

  • Algorithms
  • Authentication
  • Computer Programs
  • Computer Science
  • Cryptography
  • Cybersecurity
  • Information Operations
  • Language
  • Network Science
  • Probability
  • Probability Distributions
  • Security Protocols
  • Standards
  • Statistical Analysis
  • Statistical Distributions
  • Statistics
  • Test Methods

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Clinical Trial Research.
  • Database Systems and Applications
  • Regression Analysis.