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
View the full text of this paper in
POSTSCRIPT (203,617 Bytes) form.
To Become a USENIX Member, please see our