Towards a Framework for Handling Disputes in Payment Systems

The ability to support disputes is an important, but often neglected aspect of payment systems. In this paper, we present a language for expressing dispute claims in a unified manner, independent of any specific payment system. We illustrate how to support claims made in this language with evidence tokens from an example payment system. We also describe an architecture for dispute handling. Our approach may be generalised to other services where accountability is a requirement.

[1]  Mihir Bellare,et al.  iKP - A Family of Secure Electronic Payment Protocols , 1995, USENIX Workshop on Electronic Commerce.

[2]  Gene Tsudik.  Zurich iKP Prototype (ZiP): Protocol Specification Document , 1996 .

[3]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[4]  B. Pfitzmann,et al.  Properties of Payment Systems - General Definition Sketch and Classification , 1996 .

[5]  N. Asokan,et al.  Designing a Generic Payment Service , 1998, IBM Syst. J..

[6]  David Chaum,et al.  Undeniable Signatures , 1989, CRYPTO.

[7]  Adi Shamir,et al.  A method for obtaining digital signatures and public-key cryptosystems , 1978, CACM.

[8]  Michael Waidner,et al.  Development of a Secure Electronic Marketplace for Europe , 1996, ESORICS.

[9]  Benjamin Cox,et al.  NetBill Security and Transaction Protocol , 1995, USENIX Workshop on Electronic Commerce.

[10]  M. Scott Donahey,et al.  Dispute Resolution in Cyberspace , 1998, Journal of International Arbitration.

[11]  P.F. Linington.  Fundamentals of the layer service definitions and protocol specifications , 1983, Proceedings of the IEEE.

[12]  Joan Feigenbaum,et al.  Decentralized trust management , 1996, Proceedings 1996 IEEE Symposium on Security and Privacy.