Douglas H. Steves, Chris Edmondson-Yurkanan, Mohamed Gouda, A Protocol for Secure Transactions, Proceedings of the Second USENIX Workshop on Electronic Commerce (EC96) Oakland, California, November 18-21, 1996. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Model Checking the Secure Electronic Transaction (SET) Protocol - Lu, Smolka (1999) (4 citations) (Correct)
....by 2003, according to Forrester Research, Inc. 6] With this much at stake, it is essential that commercial transactions conducted electronically be both correct and secure. To ensure these properties, a number of e commerce protocols have been proposed, and, in some cases, deployed, including [17, 18, 16, 15, 7]. E commerce protocols, however, are inherently complex and a number of published protocols of this nature contain subtle errors. For example, the private and publickey authentication protocols developed by Needhan and Schroeder [13] are vulnerable to attacks by intruders [4, 10] A host of ....
D. H. Steves, C. Edmondson-Yurkanan, and M. Gouda. A protocol for secure transactions. Proceedings of the Second USENIX Workshop on Electronic Commerce, pages 201-- 212, Nov. 1996.
Properties of Secure Transaction Protocols - Douglas Steves (1997) Self-citation (Steves Gouda) (Correct)
....be. isolation Either all messages in a transaction may be referenced by other transactions, or none may be. verifiable causality The sender and receiver of a message can verify the sequence of messages transmitted between the two processes prior to that message. Atomicity, discussed in [14] and [13] ensures either that all parties to a transaction receive their goods, or that none do. For instance, credit card transactions are not normally atomic, since the customer receives the merchandise before the merchant is paid. This lack of atomicity allows for fraudulent transactions. The NetBill ....
....In [8] the authors apply the signature technique from [12] to these message digests in order to provide authentication. Our protocol uses a similar algorithm, including in each message a cryptographically secure message digest of all previous messages sent or received by the sender of the message. [13] This does not violate any privacy concerns, nor is it inefficient since the size of the digest is relatively small and it can be incrementally computed. We define this message digest as context. At the conclusion of the transaction, the context is used in the commit protocol in order to ensure ....
Douglas H. Steves, Chris EdmondsonYurkanen, and Mohamed Gouda. A protocol for secure transactions. In The 2nd Usenix Workshop on Electronic Commerce. Usenix, November 1996.
Properties of Secure Transaction Protocols - Douglas Steves (1997) Self-citation (Steves Gouda) (Correct)
....be. isolation Either all messages in a transaction may be referenced by other transactions, or none may be. verifiable causality The sender and receiver of a message can verify the sequence of messages transmitted between the two processes prior to that message. Atomicity, discussed in [14] and [13] ensures either that all parties to a transaction receive their goods, or that none do. For instance, credit card transactions are not normally atomic, since the customer receives the merchandise before the merchant is paid. This lack of atomicity allows for fraudulent transactions. The NetBill ....
Douglas H. Steves, Chris EdmondsonYurkanan, and Mohamed Gouda. A Protocol for Secure Transactions. In The Second USENIX Workshop on Electronic Commerce, pages 201--212, November 1996.
An ACID Framework for Electronic Commerce - Douglas Steves Self-citation (Steves Gouda) (Correct)
....for contractual properties. Structurally, these frameworks are limited to supporting two party transactions, with a single arbiter to coordinate the transaction. Thus these frameworks are best suited to basic forms of commerce. In earlier work, we described a simple protocol for electronic commerce[10] and a set of properties important in electronic commerce[11] In this paper we further refine these properties by using contract law as an explicit basis, and describe Forum, a set of protocols and processes that supports the complete set of properties we have defined. Thus we believe that Forum ....
Douglas H. Steves, Chris EdmondsonYurkanan, and Mohamed Gouda. A Protocol for Secure Transactions. In The Second USENIX Workshop on Electronic Commerce, pages 201--212, November 1996.
Monitoring Software Requirements Using Instrumented Code - Robinson (2002) (1 citation) (Correct)
No context found.
Douglas H. Steves, Chris Edmondson-Yurkanan, Mohamed Gouda, A Protocol for Secure Transactions, Proceedings of the Second USENIX Workshop on Electronic Commerce (EC96) Oakland, California, November 18-21, 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC