Practical reasoning about accountability in electronic commerce protocols

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

Volumn 2288, Issue , 2002, Pages 268-284

  Kungpisdan, Supakorn ^a   Permpoontanalarp, Yongyuth ^a  

^a KING MONGKUT'S UNIVERSITY OF TECHNOLOGY THONBURI   (Thailand)

Author keywords

Analysis of electronic commerce protocols; Formal methods for security protocols

Indexed keywords

COMMERCE; CRYPTOGRAPHY; FORMAL METHODS; NETWORK SECURITY; SECURITY OF DATA;

CLIENT PRIVACY; E-COMMERCE PROTOCOLS; ELECTRONIC COMMERCE PROTOCOLS; FORMAL METHODS FOR SECURITIES; PRACTICAL REASONING; REAL-WORLD;

ELECTRONIC COMMERCE;

EID: 23044534113     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-45861-1_21     Document Type: Article

References (10)

1. [1] R. Kailar. Accountability in Electronic Commerce Protocols. IEEE Transaction on Software Engineering 1996.
2. [2] E. V. Herreweghen. Non-Repudiation in SET: Open Issues. In the Proceedings of the Financial Cryptography 1999.
3. V. Kessler and H. Neumann. A Sound Logic for Analyzing Electronic Commerce Protocols. In the Proceedings of ESORICS’98.
4. [4] E. V. Herreweghen. Using Digital signatures as Evidence of Authorizations in Electronic Credit-Card Payments. Research report 3156, IBM Research, June 1999.
5. N. Asokan, E. V. Herreweghen, and M. Steiner. Towards A Framework for Handling Disputes in Payment Systems. In the Proceedings of the 3rd USENIX workshop on Electronic Commerce, Boston, Massachusette, August31-September3,1998.
6. [6] M. Burrows, M. Abadi, and R. Needham. A Logic of Authentication. ACM Transactions in Computer Systems, February 1990.
7. [7] M. Bellare, J. A. Garay, R. Hauser, A. Herzberg, H. Krawczyk, M. Steiner, G. Tsudik, E. V. Herreweghen, and M. Waidner. Design, Implementation, and Deployment of the iKP Secure Electronic Payment System. IEEE Journal of Selected Areas in Communications 2000.
8. Mastercard and Visa. SET Protocol Specifications http://www.setco.org/set_specifications.html
9. [9] C. Meadows and P. Syverson. A Formal Specification of Requirements for Payment Transactions in the SET Protocol. In the Proceedings of Financial Cryptography, February 1998.
10. S. Kungpisdan. Accountability as Fundamental Property for Electronic Commerce Protocols. Master Thesis, Department of Computer Engineering, King Mongkut’s University of Technology Thonburi, Thailand, 2001, (In preparation).