by Lei Tang
In Proceedings of the 16th International Conference on Distributed Computing Systems. IEEE Computer Society
http://www.contrib.andrew.cmu.edu./~lt00/paper/vatomicity.ps.gz
Add To MetaCart
Abstract:
We study the transaction atomicity problem for designing electronic payment protocols in distributed systems. We observe that the techniques that are used to guarantee transaction atomicity in a database system are not robust enough to guarantee transaction atomicity in an electronic payment system, in which a set of dishonest or malicious participants may exhibit unpredictable behavior and cause arbitrary failures. We present a new concept---verifiable transaction atomicity---for designing electronic payment protocols. We give formal specifications to the verifiable atomic commitment problem. Then we design a robust electronic currency system to meet the specifications and achieve the verifiable transaction atomicity. 1
Citations
|
1976
|
A method for obtaining digital signatures and public key cryptosystems
– Rivest, Shamir, et al.
- 1978
|
|
1752
|
New directions in cryptography
– Diffie, Hellman
- 1976
|
|
1320
|
Concurrency Control and Recovery in Database Systems
– Bernstein, Hadzilacos, et al.
- 1987
|
|
1074
|
Impossibility of distributed consensus with one faulty process
– Fischer, Lynch, et al.
- 1985
|
|
806
|
The Byzantine generals problem
– Lamport, Shostak, et al.
- 1982
|
|
742
|
Untraceable electronic mail, return addresses, and digital pseudonyms
– Chaum
- 1981
|
|
344
|
Authentication in Distributed Systems: Theory and Practice
– Lampson, Abadi, et al.
- 1991
|
|
299
|
Security without Identification: Transaction Systems to Make Big Brother Obsolete
– Chaum
- 1985
|
|
273
|
Fault-tolerant broadcasts and related problems
– Hadzilacos, Toueg
- 1993
|
|
260
|
Notes on database operating systems
– Gray
- 1978
|
|
205
|
Untraceable electronic cash
– Chaum, Fiat, et al.
- 1988
|
|
93
|
Netcash: A design for practical electronic currency on the Internet
– Medvinsky, Neuman
- 1993
|
|
86
|
The Design and Implementation of a Secure Auction Service
– Franklin, Reiter
- 1996
|
|
72
|
Atomic transactions
– Lampson
- 1981
|
|
51
|
iKP Family of Secure Electronic Payment Protocols
– Bellare
- 1995
|
|
39
|
On the relationship between the Atomic Commitment and Consensus problems
– Hadzilacos
- 1990
|
|
38
|
Transaction Processing
– Gray, Reuter
- 1992
|
|
35
|
Non-Blocking Atomic Commitment
– Babaoglu, Toueg
- 1993
|
|
35
|
Requirements for network Payment: The NetCheque perspective
– Neuman, Medvinsky
- 1995
|
|
21
|
Redo Recovery after System Crashes
– Lomet, Tuttle
- 1995
|
|
11
|
A comparison of the byzantine agreement problem and the transaction commit problem
– Gray
- 1987
|
|
6
|
Cryptography and Secure Channels
– Needham
- 1993
|
