A Formal Specification of Requirements for Payment Transactions in the SET Protocol

Abstract

Payment transactions in the SET (Secure Electronic Transaction) protocol are described. Requirements for SET are discussed and formally represented in a version of NPATRL (the NRL Protocol Analyzer Temporal Requirements Language). NPATRL is language for expressing generic requirements, heretofore applied to key distribution or key agreement protocols. Transaction vectors and other new constructs added to NPATRL for reasoning about SET payment transactions are described along with properties of their representation.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 24, 1998
Accession Number
ADA465510

Entities

People

  • Catherine Meadows
  • Paul Syverson

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Agreements
  • Algorithms
  • Analyzers
  • Authentication
  • Cryptography
  • Electronic Commerce
  • Formal Languages
  • Language
  • Learning
  • Military Research
  • Secure Communications
  • Security
  • Security Protocols
  • Sequences
  • Specifications
  • Standards

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Cybersecurity.
  • Government Contracting/Procurement.

Technology Areas

  • Microelectronics