Research on accountability in electronic transaction

Proceedings of the 9th International Conference on Computer Supported Cooperative Work in Design

Volumn 2, Issue , 2005, Pages 745-749

  Meng, Bo ^a   Zhang, Huanguo ^a  

^a WUHAN UNIVERSITY   (China)

Author keywords

Accountability; E Commerce; Electronic Transaction; Payment Protocols

Indexed keywords

ELECTRONIC COMMERCE; FORMAL LOGIC; NETWORK PROTOCOLS; COST ACCOUNTING; FINANCE;

ACCOUNTABILITY; ELECTRONIC PAYMENT PROTOCOLS; ELECTRONIC TRANSACTIONS; ELECTRONIC TRANSACTION; PAYMENT PROTOCOLS;

COMPUTER SCIENCE; ELECTRONIC COMMERCE;

EID: 29144517837     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. R. Kailar, "Accountability in electronic commerce protocols", IEEE transactions on software engineering, vol. 22, No. 5, May 1996, pp5-48.
2. R. Kailar, "Reasoning about accountability in protocol for electronic commerce", Proceedings of the IEEE symposium on security and privacy, May 1995.
3. J.D.Tygar, "Atomicity in Electronic Commerce", CMU-CS-96-112, January 1996, School of Computer.
4. N.Asokan, "Fairness in Electronic Commerce", PH.D thesis, university of Waterloo, 1998.
5. E.V.Herreweghen, "Non-Repudiation in SET: Open Issues", Proceedings of the Financial Cryptography, 1999.
6. N.Asokan, E.V.Herreweghen, M. Steiner, "Towards a Framework for Handling Disputes in Payment Systems", Proceedings of the 3rd USENIX workshop on Electronic Commerce, Boston, Massachusetts, 1998.
7. S. Kungpisdan and Yongyuth Permpoontanalarp, "A Logic for Solving Disputes in Electronic Commerce", Proceedings of 24th Electrical Engineering Conference, 2001.
8. Supakom Kungpisdan, yongyuth Permpoontanalarp, "Practical Reasoning about Accountability in Electronic Commerce Protocols", Proceeding of the 4th International Conference on Information Security and Cryptology, Seoul, South Korea, 2001, Lecture Notes in Computer Science, Springer Verlag.
9. Volker Kessler and Heike Neumann., "A sound logic for analyzing electronic commerce protocols." Proceedings of the Fifth European Symposium on Research in Computer Security, Louvainla Neuve, Belgium, September 1998, pp 65-80.
10. Volker Kessler and Gabriele Wedel, "AUTOLOG-an advanced logic of authentication", Proceedings of the VII Computer Security Foundations Workshop, June 1994, pp 90-99.
11. E.V.Herreweghen, "Using Digital signature as Evidence of Authorizations in Electronic Credit Card Payments", Research report, 76.IBM Research, 1999.
12. SET Secure Electronic Transaction Specification Book 1: Business Description, Version 1.0, 1997, http://www.setco.org/download.html#spec.
13. SET Secure Electronic Transaction Specification Book 3: Formal Protocol Definition, Version 1.0, 1997, http://www.setco.org/download.html#spec.
14. SET Secure Electronic Transaction Specification Book 2: Programmer's Guide, Version 1.0, 1997, http://www.setco.org/download.html#spec.
15. Bo Meng, Qianxing Xiong, Xinming Tan, "Applying Accountability and Atomicity to Secure Electronic Transaction", Proceedings of the 2002 International Symposium on Distributed Computing and Applications to Business, Engineering and Science, Wuxi, China, 2002,pp276-279.