Extending rubin logic for electronic commerce protocols

2nd International Conference on Anti-counterfeiting, Security and Identification, ASID 2008

Volumn , Issue , 2008, Pages 448-451

  Xu, Yang ^a,b   Xie, Xiaoyao ^b  

^a GUIZHOU UNIVERSITY   (China)

^b Key Laboratory of Information and Computing Science of Guizhou Province   (China)

Author keywords

Electronic commerce protocols; Extending Rubin logic; Protocol analysis; Security properties

Indexed keywords

COMMERCE;

ELECTRONIC COMMERCE PROTOCOLS; EXTENDING RUBIN LOGIC; INFERENCE RULES; PROTOCOL ANALYSIS; SECURITY PROPERTIES; SECURITY PROTOCOLS;

ELECTRONIC COMMERCE;

EID: 58049141395     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IWASID.2008.4688446     Document Type: Conference Paper

References (25)

1. G. Medvinsky, and B.C. Neuman, "NetCash: a design for practical electronic currency on the Internet," in Proc. 1st ACM Conf. Computer and Communications Security, 1993, pp.102-106.
2. K. R. O'Toole, "The Internet billing server transaction protocol alternatives," Carnegie Mellon. Information Networking Institute, Technical Report, Apr. 1994.
3. B. Cox, J. D. Tygar, and M. Sirbu, "NetBill security and transaction Protocol," in Proc. 1st USENIX Workshop in Electronic Commerce, 1995, pp. 77-88.
4. J. Zhou, and D. Gollmann, "A fair non-repudiation protocol," in Proc. 1996 IEEE Symposium on Security and Privacy , Oakland, CA , pp. 55-61.
5. VISA and MasterCard Inc., Secure Electronic Transaction (SET) Specification: BOOK III: Protocol Description Version 1.0., May.1997
6. X. X. Li, and J. P. Huai, "A fair non repudiation cryptographic protocol and its formal analysis and applications," Journal of Software, vol. 11, no. 12, pp. 1628-1634, Dec. 2001.
7. J. Liu, and M.T. Zhou, "A fair non-repudiation protocol and its formal analysis," Acta Electronica Sinica, vol. 31, no.9, pp. 1422-1425, Sep. 2003.
8. A.D. Rubin, "Nonmonotonic cryptographic protocols," Ph.D. dissertation, Dept. Elec. Eng. and Computer Science, Univ. of Michigan, Ann Arbor, MI, 1994.
9. A. D. Rubin, "Extending NCP for protocols using public keys," Mobile Networks and Applications, vol. 2, no. 3, pp. 227-241, Mar. 1997.
10. D. C. Zhou, S. H. Qing, and Z. F. Zhou, "A new approach for the analysis of electronic commerce protocols," Journal of Software, vol. 12, no. 9, pp. 1318-1328, Sep. 2001.
11. M. Burrows, M. Abadi, and R. Needham, "A logic of authentication," ACM Transactions on Computer Systems, vol. 8, no. 1, pp. 18-36, 1990.
12. L. Gong, R. Needham, and R. Yahalom, "Reasoning about belief in cryptographic protocols," in Proc. 1990 IEEE Conf. Computer Society Symposium on Research in Security and Privacy, pp. 234-248.
13. M. Abadi, and M. R. Tuttle, "A semantics for a logic of authentication," in Proc. 10th ACM Conf. Principles of Distributed Computing, 1991, pp. 201-216.
14. P. C. van Oorschot, "Extending cryptographic logics of belief to key agreement protocols," in Proc. 1st ACM Conf. Computer and Communications Security, 1993, pp. 233-243.
15. P. F. Syverson, and P. C. van Oorschot, "On unifying some cryptographic protocol logics," in Proc. 1994 IEEE Conf. Computer Society Symposium on Research in Security and Privacy, pp. 14-28.
16. D. M. Nessett, "A critique of the Burrows, Abadi, and Needham logic," ACM Operating Systems Review, vol. 24, no. 2, pp. 35-38, 1990.
17. Y.Q. Zhang, J. P. Wu, and X. Li, "BAN-like logic for cryptographic protocols analysis: a survey," Journal of Tsinghua University (Sci & Tech), vol. 42, no.1, pp. 96-99, 2002.
18. J. Z. Xu, Y. X. Dai, and Y.N. Zuo, "The model and its defects of BAN family of logic," Journal of Software, vol. 11, no. 12, pp. 1660-1665, Dec. 2000.
19. R. Kailar, "Accountability in electronic commerce protocols," IEEE Trans. Software Engineering, vol. 22, no. 5, pp. 313-328, 1996.
20. D. C. Zhou, S. H. Qing, and Z. F. Zhou, "Limitations of Kailar Logic," Journal of Software, vol. 10, no.12, pp. 1238-1245, Dec.1999.
21. Z. M. Song, and S. H. Qing, "Appling NCP logic to the analysis of SSL3.0," Information and Communication Security, Berlin: Springer-Verlag, 2001, 155-166.
22. S. X. Shao, J. Chen, and M. Wu, "Analysis of PKM protocol of LMDS by NCP logic, " Journal on Communications, vol. 25, no. 9, pp. 146-152, Sep. 2004.
23. Yang Xu, and X. Y. Xie, "Analysis of Authentication Protocols Based on Rubin Logic," in Proc. 4th IEEE Int. Conf. Wireless Communications, Networking, Mobile Computing, Dalian, 2008, to be published.
24. Yang Xu, and X. Y. Xie, "Security analysis of routing protocol for MANET based on extended Rubin logic," in Proc. 2008 IEEE Int. Conf. Networking, Sensing and Control, Sanya, pp.1326-1331.
25. IT security techniques - Non-repudiation - Part 1: General , ISO/IEC 13888-1: 2004.