Check out the new USENIX Web site.

Home About USENIX Events Membership Publications Students
Second USENIX Workshop on Electronic Commerce

A Protocol for Secure Transactions

Douglas H. Steves, Chris Edmondson-Yurkanan, and Mohamed Gouda
The University of Texas at Austin


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.

View the full text of this paper in HTML and POSTSCRIPT (203,617 Bytes) form.

To Become a USENIX Member, please see our Membership Information.

?Need help? Use our Contacts page.

Last changed: 15 April 2002 aw
Conference Index