A Protocol for Secure Transactions
Douglas H. Steves, Chris Edmondson-Yurkanan, and Mohamed Gouda
The University of Texas at Austin
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.
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.
Conference Index