Programming Cryptographic Protocols

Abstract

A programming language for cryptographic protocols eases design and implementation of application-specific protocols for tasks such as electronic commerce and distributed access control. The language provides a minimal expressiveness useful for defining new protocols. We give the language a semantics via strand spaces, so that the designer can prove that a new protocol meets the security goals. This semantics also motivates a compilation strategy, yielding protocol implementations faithful to their verified behavior. We also aim to clarify the relation between the abstract models used in protocol verification and the actual behavior of protocols as implemented.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2004
Accession Number
AD1112611

Entities

People

  • Brian T. Sniffen
  • John D. Ramsdell
  • Jonathan C. Herzog
  • Joshua D. Guttman

Organizations

  • MITRE Corporation

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Asymetric Encryption
  • Authentication
  • Compilers
  • Computer Access Control
  • Computer Programming
  • Cryptography
  • Directories
  • Electronic Commerce
  • Environment
  • Guarantees
  • Language
  • Models
  • Programming Languages
  • Secure Communications
  • Security Protocols
  • Verification

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Computational Linguistics
  • Computer Networking
  • Systems Analysis and Design

Technology Areas

  • Microelectronics
  • Space