Next: Introduction

A Protocol for Secure Transactions

Douglas H. Steves <dhs@cs.utexas.edu>
Chris Edmondson-Yurkanan <dragon@cs.utexas.edu>
Mohamed Gouda <gouda@cs.utexas.edu>

Department of Computer Sciences
The University of Texas at Austin
Austin, TX 78712

Abstract:

Secure transactions form the computational basis for electronic commerce. Many forms of commerce depend upon there being a defined and verifiable relationship between messages in a transaction. We have identified three such relational properties: causality, atomicity and isolation.

Causality is a new property. It allows the receiver of a message to deduce and verify the sequence of messages sent and received by the sender prior to that message.

In this paper, we present a secure transaction protocol that provides relational properties in addition to the normal properties of secure messages.

• Introduction
  • Causality
  • Atomicity and Isolation
• Secure Transaction Protocol
  • Overview
  • Protocol Messages
  • Protocol States
  • Protocol State Transitions
  • Formal Specification
• Related Work
• Conclusion
• References
• About this document ...