A Protocol for Secure Transactions

Authors: 

Douglas H. Steves, Chris Edmondson-Yurkanan, and Mohamed Gouda, University of Texas, 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.

BibTeX
@inproceedings {260574,
author = {Douglas H. Steves and Chris Edmondson-Yurkanan and Mohamed Gouda},
title = {A Protocol for Secure Transactions},
booktitle = {2nd USENIX Workshop on Electronic Commerce (EC 96)},
year = {1996},
address = {Oakland, CA},
url = {https://www.usenix.org/conference/2nd-usenix-workshop-electronic-commerce/protocol-secure-transactions},
publisher = {USENIX Association},
month = nov
}
Download