Fair Offline Payment Using Verifiable Encryption

Verifiable encryption allows a receiver, who cannot decrypt the ciphertext, to verify what has been encrypted. This technique is widely used in fair exchange to convince a receiver that he/she can later obtain the requested item by presenting the item in an encrypted form to a TTP (Trusted Third Party). In this paper, we apply verifiable encryption to offline payment systems based on the representation problem to provide the payment atomicity. Our verifiable encryption uses the Naccache-Stern cryptosystem and a proof of equality of discrete logarithms from different groups. Although additional cost is required during payments, we show that the cost is reasonable. Furthermore, we have improved the efficiency of dispute settlement significantly. In our method, the TTP does not have to interact with any other party other than the one who filed a complaint to resolve disputes.

[1]  David Chaum,et al.  Wallet Databases with Observers , 1992, CRYPTO.

[2]  Stefan A. Brands,et al.  Untraceable Off-line Cash in Wallet with Observers , 2002 .

[3]  N. Asokan,et al.  Optimistic fair exchange of digital signatures , 1998, IEEE Journal on Selected Areas in Communications.

[4]  Ernest F. Brickell,et al.  Advances in Cryptology — CRYPTO’ 92 , 2001, Lecture Notes in Computer Science.

[5]  Douglas R. Stinson,et al.  Advances in Cryptology — CRYPTO’ 93 , 2001, Lecture Notes in Computer Science.

[6]  J. Doug Tygar,et al.  Atomicity in electronic commerce , 1996, NTWK.

[7]  Claus-Peter Schnorr,et al.  Efficient signature generation by smart cards , 2004, Journal of Cryptology.

[8]  Jan Camenisch,et al.  Separability and Efficiency for Generic Group Signature Schemes , 1999, CRYPTO.

[9]  Michael Wiener,et al.  Advances in Cryptology — CRYPTO’ 99 , 1999 .

[10]  Giuseppe Ateniese,et al.  Efficient verifiable encryption (and fair exchange) of digital signatures , 1999, CCS '99.

[11]  Jacques Traoré,et al.  An Efficient Fair Off-Line Electronic Cash System with Extensions to Checks and Wallets with Observers , 1998, Financial Cryptography.

[12]  Kazuo Ohta,et al.  Advances in Cryptology — ASIACRYPT’98 , 2002, Lecture Notes in Computer Science.

[13]  Jacques Stern,et al.  A new public key cryptosystem based on higher residues , 1998, CCS '98.

[14]  Whitfield Diffie,et al.  New Directions in Cryptography , 1976, IEEE Trans. Inf. Theory.

[15]  Shouhuai Xu,et al.  Money Conservation via Atomicity in Fair Off-Line E-Cash , 1999, ISW.

[16]  Colin Boyd,et al.  Off-Line Fair Payment Protocols Using Convertible Signatures , 1998, ASIACRYPT.

[17]  S. Kim,et al.  A new electronic check system with reusable refunds , 2002, International Journal of Information Security.

[18]  N. Asokan,et al.  Optimistic protocols for fair exchange , 1997, CCS '97.