Non-repudiation in SET: Open issues

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1962, Issue , 2001, Pages 140-156

  Van Herreweghen, Els ^a  

^a IBM RESEARCH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

AUTHENTICATION; CRYPTOGRAPHY;

NON REPUDIATION; PAYMENT PROTOCOL; SET PROTOCOLS; THIRD PARTY VERIFIERS;

CHROMIUM COMPOUNDS;

EID: 84944315419     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45472-1_11     Document Type: Conference Paper

References (13)

1. N. Asokan, Els Van Herreweghen, and Michael Steiner. Towards a framework for handling disputes in payment systems. In Third USENIX Workshop on Electronic Commerce, pages 187-202, Boston, Mass., September 1998. USENIX. Available from http://www.zurich.ibm.com/Technology/Security/publications/1998/AvHS98b'/,.ps.gz.
2. J. L. Abad-Peiro, N. Asokan, Michael Steiner, and Michael Waidner. Designing a generic payment service. IBM Systems Journal, 37(l):72-88, January 1998.
3. Mihir Bellare, Juan Garay, Ralf Hauser, Amir Herzberg, Hugo Krawczyk, Michael Steiner, Gene Tsudik, and Michael Waidner. iKP - A family of secure electronic payment protocols. In First USENIX Workshop on Electronic Commerce, pages 89-106, New York, July 1995. USENIX.
4. Mihir Bellare, Juan Garay, Ralf Hauser, Amir Herzberg, Hugo Krawczyk, Michael Steiner, Gene Tsudik, Els Van Herreweghen, and Michael Waidner. Design, implementation and deployment of a secure account-based electronic payment system. Research Report RZ 3137, IBM Research Division, June 1999. A modified version is to appear as [BGH+00].
5. Mihir Bellare, Juan Garay, Ralf Hauser, Amir Herzberg, Hugo Krawczyk, Michael Steiner, Gene Tsudik, Els Van Herreweghen, and Michael Waidner. Design, implementation and deployment of the iKP secure electronic payment system. IEEE Journal on Selected Areas in Communications, 18, 2000, in press.
6. Dominique Bolignano. Towards the formal verification of electronic commerce protocols. In 10th IEEE Computer Security Foundations Workshop, pages 133-146. IEEE Computer Press, 1997.
7. S. Brackin. Automatic formal analyses of two large commercial protocols. In DIM ACS Workshop on Design and Formal Verification of Security Protocols, Rutgers New Jersey, September 1997.
8. Rajashekar Kailar. Reasoning about accountability in protocols for electronic commerce. In Proceedings of the IEEE Symposium on Research in Security and Privacy, Oakland, CA, May 1995. IEEE Computer Society Press.
9. M. Ethan Katsch. Dispute resolution in cyberspace. In Connecticut Law Review Symposium: Legal Regulation of the Internet, number 953 in 28, 1996. Available from http://www.umass.edu/legal/articles/uconn.html.
10. Volker Kessler and Heike Neumann. A sound logic for analysing electronic commerce protocols. In J.-J. Quisquater, Y. Deswarte, C. Meadows, and Gollmann, editors, Proceedings of the Fifth European Symposium on Research in Computer Security (ESORICS), number 1485 in Lecture Notes in Computer Science, Louvain-la-Neuve, Belgium, September 1998. Springer- Verlag, Berlin Germany.
11. Meadows and Paul Syverson. A formal specification of requirements for payment transactions in the SET protocol. In Proceedings of the Financial Cryptography Conference (FC98), 1998.
12. Mastercard and Visa. SET Secure Electronic Transactions Protocol, version 1.0 edition, May 1997. Book One: Business Specifications, Book Two: Technical Specification, Book Three: Formal Protocol Definition. Available from http://www.setco.org/set_specifications.html.
13. Els Van Herreweghen. Using digital signatures as evidence of authorizations in electronic credit-card payments. Research Report 3156, IBM Research, June 1999. available from http://www.zurich.ibm.com/Technology/Security/publications/1999/VanHer99.ps.gz.