A new fair non-repudiation protocol for secure negotiation and contract signing

Journal of Universal Computer Science

Volumn 15, Issue 3, 2009, Pages 555-583

  Ruiz Martínez, Antonio ^a   Marín López, C Inmaculada ^a   Baño López, Laura ^a   Gómez Skarmeta, Antonio F ^a  

^a UNIVERSITY OF MURCIA   (Spain)

Author keywords

Confidentiality; Contract signing protocol; Fair exchange; Intellectual Property Rights contracts; Secure negotiation

Indexed keywords

EID: 67449108412     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Article

References (48)

1. a Ed). 2005.
2. M. Abadi, R. Needham, Prudent engineering practice for cryptographic protocols, IEEE Transactions on Software Engineering, 22(1):6-15, January 1996.
3. M. Abadi, N. Glew, B. Horne, B. Pinkas, Certified email with a light on-line trusted third party: design and implementation, The Eleventh International World Wide Web Conference, Honoloulu, Hawaii, USA, 2002.
4. S. Aknine, S. Pinson, M. F. Shakun, An Extended Multi-Agent Negotiation Protocol, Journal of Autonomous Agents and Multi-Agent Systems, 8, 5-45, Springer Science+Business Media B.V., Formerly Kluwer Academic Publishers B.V. 2004.
5. S. Angelov, S. Till, P. Grefen, Dynamic and Secure B2B E-contract Update Management, Proceedings of the 6th ACM Conference on Electronic Commerce (EC'05), Vancouver, Canada. 2005.
6. N. Asokan, V. Shoup, M. Waidner, Asynchronous protocols for optimistic fair exchange, Proceedings of the IEEE Symposium on Research in Security and Privacy, 1998.
7. A. Armando, L. Compagna, P. Ganty, SAT-based Model-Checking of Security Protocols using Planning Graph Analysis, In Proc. of the 12th International Symposium of Formal Methods Europe (FME), LNCS 2805, Springer-Verlag 2003.
8. A. Armando, A. et al., The Avispa Tool for automated validation of internet security protocols and applications, Proc. Of Computer Aided Verification, Lecture Notes in Computer Science (LNCS) 3576. Springer Verlag, 2005.
9. Avispa Project: "Automated Validation of Internet Security Protocols and Applications (AVISPA)". http://www.avispa-project.org/
10. D. Basin, S. Mödersheim, L. Viganò, An On-The-Fly Model-Checker for Security Protocol Analysis, In E. Snekkenes and D. Gollmann, editors, Proc. Of ESORICS'03, LNCS 2808, Springer-Verlag 2003, pp. 253-270.
11. Y. Boichut, et al., Improvements on the Genet and Klay Technique to Automatically Verify Security Protocols, Proc. of AVIS'04, ENTCS.
12. S. Blake-Wilson, P. Lamber, Use of Elliptic Curve Cryptography (ECC) Algorithms in Cryptographic Message Syntax (CMS), Request for Comments 3278, 2002.
13. B. Cox, J. D. Tygar, M. Sirbu. NetBill security and transaction protocol. In Proceedings of the 1st conference on USENIX Workshop on Electronic Commerce - Volume 1, 77-88. 1995.
14. S. Darko-Ampem, M. Katsoufi, P. Giambiagi, Secure Negotiation in Virtual Organizations. In Proceedings of the 10th IEEE on International Enterprise Distributed Object Computing Conference Workshops. IEEE Computer Society. 2006.
15. J. Delgado, I. Gallego, X. Perramon. Broker-Based Secure Negotiation of Intellectual Property Rights. In Proceedings of the 4th International Conference on Information Security, pp. 486-496. Springer-Verlag. 2001.
16. T. Dierks, C. Allen, The TLS Protocol Version 1.0. RFC 2246. January 1999.
17. D. Eastlake, S. Crocker, J. Schiller, "Randomness Recommendations for Security", RFC 1750, December 1994.
18. J. Garay, M. Jakobsson, P. MacKenzie, Abuse-free optimistic contract signing, In proceedings of CRYPTO'99, Lecture Notes in Computer Science 1666, pp. 449-466. 1999.
19. H. Gilbert, H. Hanschuh, Security analysis of SHA-256 and sisters, Selected Areas in Cryptography 2003 (SAC 2003), Otawa, Canada (2003).
20. S. Gürgens, C. Rudolph, H. Vogt, On the security of fair non-repudiation protocols, International Journal of Information Security, volume 4, issue 4, 253-262. 2005.
21. M. Jalali, G. Hachez, C. Vasserot, FILIGRANE: a security framework for trading of mobile code in Internet, Autonomous Agents 2000 Workshop: Agents in Industry, Barcelona, Spain, 2000.
22. K. Kim, S. Park, J. Baek, Improving fairness and privacy of Zhou-Gollmann's fair non-repudiation protocol, Proceedings of 1999 ICPP Workshops on Security (IWSEC), IEEE Computer Society, Sep. 21-22, pp.140-145. 1999.
23. S. Kremer, O. Markowitch, J. Zhou, An intensive survey of fair non-repudiation protocols, Computer Communications, 25(17): 1606-1621. Elsevier, Nov. 2002.
24. H. Kötz, European Contract Law: Formation, Validity, and Content of Contracts; Contract and Third Parties, (Tony Weir trans., Hein Kötz & Axel Flessner eds., 1997.
25. K. O. Kürtz, R. Küsters, T. Wilke. Selecting theories and nonce generation for recursive protocols. In Proceedings of the 2007 ACM workshop on Formal methods in security engineering, pp. 61-70. Fairfax, Virginia, USA. 2007.
26. B. Limthanmaphon, Y. Zhang, Z. Zhang. An Agent-Based Negotiation Model Supporting Transactions in Electronic Commerce. Proceedings of the 11th International Workshop on Database and Expert Systems Applications, IEEE Computer Society, 2000.
27. E. Maler, P. Mishra, R. Philpott, Assertions and Protocol for the OASIS Security Assertion Markup Language (SAML) V1.1, September 2003. OASIS Standard.
28. O. Markowitch, D. Gollmann, D. S. Kremer, On fairness in exchange protocols, In Pil Joong Lee and Chae Hoon Lim, editors, 5th International Conference on Information Security and Cryptology (ICISC 2002), volume 2587 of Lecture Notes in Computer Science, pages 451-464, Seoul, Korea, November 2002.
29. National Institute of Standards and Technology, Specification for the Advanced Encryption Standard (AES), FIPS 197. November 26, 2001.
30. National Institute of Standards and Technology (NIST), Federal Information Processing Standards (FIPS), Publication 180-2, Secure Hash Standard (SHS). 2004.
31. J. J. Park, E. Chong, H. Siegel, I. Ray, Constructing fair exchange protocols for e-commerce via distributed computation of RSA signatures, In Proc. of 22th Annual ACM Symp. on Principles of Distributed Computing (PODC'03), pp. 172-181. ACM Press, 2003.
32. M. Rabinovick, W. Spatscheck, Web caching and replication, Addison Wesley, 2002.
33. A. W. Röhm, G. Pernul, G. Herrmann, Modeling Secure and Fair Electronic Commerce. In 14th Annual Computer Security Applications Conference (ACSAC '98), 1998.
34. D. Rosenzweig, D. Runje, W. Schulte. Model-Based Testing of Cryptographic Protocols. In Trustworthy Global Computing. 2005.
35. A. Ruiz, G. Martínez, O. Cánovas, A. F. Gómez-Skarmeta, SPEED Protocol: SmartCard-based Payment with Encrypted Electronic Delivery, Proc. Information Security Conference, Málaga, Spain, 2001, 446-461
36. A. Ruiz, L. Baño, C.I. Marín, O. Cánovas, A. F. Gómez, A Secure Infrastructure for Negotiation and Purchase of Intellectual Property Rights (SECURingIPR). Proceedings International Conference on Communication, Network, and Information Security, New York USA, 2003.
37. J. Santiago and L. Vigneron, Automatically Analysing Non-repudiation with Authentication, Proceedings of 3rd Taiwanese-French Conference on Information Technology (TFIT), 541--554, Nancy, France, 2006.
38. Schneier, B. (1995). Applied cryptography (2nd ed.): protocols, algorithms, and source code in C (pág. 758). John Wiley & Sons, Inc.
39. T. Schroeder, S. Goddard, B. Ramamurthy, Scalable Web Server Clustering Technologies, IEEE Network, May/June 2000, pp. 38-45.
40. Y. Tan, W. Thoen. DocLog: An Electronic Contract Representation Language. In Proceedings of the 11th International Workshop on Database and Expert Systems Applications. IEEE Computer Society. 2000.
41. M. Turuani, Sécurité des Protocoles Cryptographiques: Décidabilité et Complexité, Phd, Université Henri Poincaré, Nancy, December 2003.
42. G. Wang, An abuse-free fair contract signing protocol based on the RSA signature. Proceedings of the 14th international conference on World Wide Web, 412 - 421, Japan. 2005.
43. Word Wide Web Consortium (W3C). XML-Signature Syntax and Processing. W3C Recommendation. 12 February 2002.
44. S. Yang, S.Y.W. Su, H. Lam, A Non-Repudiation Message Transfer Protocol for E- commerce. IEEE International Conference on E-Commerce Technology (CEC'03), 2003.
45. S. Yang, S.Y.W. Su, H. Lam, A non-repudiation message transfer protocol for collaborative e-commerce, International Journal of Business Process Integration and Management 2005 - Vol. 1, No.1. pp. 34 - 42.
46. E. Zegura, M. Ammar, Z. Fei, S. Bhattacharjee, Application Layer Anycasting: A Server Selection Architecture and Use in a Replicated Web Service, IEEE/ACM Transactions on Networking, Vol. 8, No. 4, August 2000, pp. 455-467.
47. J. Zhou, D. Gollmann, A Fair Non-repudiation Protocol, proceedings of 1996 IEEE Symposium on Security and Privacy, pp. 55-61, Oakland, CA, May 1996.
48. J. Zhou, Non-Repudiation in Electronic Commerce. Artech House Publishers, 2001.