Accession Number:

ADA465510

Title:

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

Descriptive Note:

Conference paper

Corporate Author:

NAVAL RESEARCH LAB WASHINGTON DC CENTER FOR HIGH ASSURANCE COMPUTING SYSTEMS (CHACS)

Personal Author(s):

Report Date:

1998-02-24

Pagination or Media Count:

16.0

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.

Subject Categories:

  • Computer Programming and Software
  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE