Modeling and analysis of electronic commerce protocols using colored petri nets

Journal of Software

Volumn 6, Issue 7, 2011, Pages 1181-1187

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

^a WUHAN UNIVERSITY   (China)

^b GUIZHOU NORMAL UNIVERSITY   (China)

Author keywords

Accountability; Colored petri Nets; Electronic commerce protocols; Fairness; ISI protocol

Indexed keywords

ACCOUNTABILITY; COLORED PETRI NETS; ELECTRONIC COMMERCE PROTOCOLS; FAIRNESS; ISI PROTOCOL;

NETWORK SECURITY; PETRI NETS;

ELECTRONIC COMMERCE;

EID: 79960807932     PISSN: 1796217X     EISSN: None     Source Type: Journal    
DOI: 10.4304/jsw.6.7.1181-1187     Document Type: Article

References (28)

1. st 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, 2008, pp. 1628-1634.
7. J. Liu, and M. T. Zhou, "A fair non-repudiation protocol and its formal analysis," Acta Electronica Sinica, vol. 31, no. 9, 2003, pp. 1422-1425.
8. R. Kailar, "Accountability in electronic commerce protocols," IEEE Trans. Software Engineering, vol. 22, no. 5, 1996, pp. 313-328.
9. D. C. Zhou, S. H. Qing, and Z. F. Zhou, "Limitations of Kailar Logic," Journal of Software, vol. 10, no. 12, 1999, pp. 1238-1245.
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, 2001, pp. 1318-1328.
11. Yang Xu, and Xiaoyao Xie, "Security analysis of routing protocol for MANET based on extended Rubin logic," In Proc. 2008 IEEE International Conference on Networking, Sensing and Control, pp. 1326-1331
12. nd International Conference on Anti-counterfeiting, Security, and Identification, 2008, pp. 448-451.
13. Yang Xu, and Xiaoyao Xie, "Analysis of electronic commerce protocols based on extended Rubin logic," in Proc. 9th International Conference for Young Computer Scientists, 2008, pp. 2079-2084.
14. K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol. 1-3, Monographs in Theoretical Computer Science, Springer-Verlag, 1997.
15. E. Doyle, S. Tavares, and H. Meijer, "Automated security analysis of cryptographic protocols using Coloured Petri Net specifications," Workshop on Selected Areas in Cryptography, SAC'95 Workshop Record, 1995, pp. 35-48.
16. E. Doyle, S. Tavares, and H. Meijer, "Computer analysis of cryptographic protocols using Coloured Petri Nets," 18th Biennial Symposium on Communication, Kingston, Ontario, 1996, pp. 194-199.
17. A. M. Basyouni, Analysis of wireless cryptographic protocols, Master's Thesis, Queen's University Kingston, Ontario, Canada, 1997.
18. HeeChul Moon, A study on formal specification and analysis of cryptographic protocols using Colored Petri Nets, Master's Thesis, Kwangju institute of science and technology, Korea, 1998.
19. Daobin Liu, Li Guo, and Shuo Bai, "Formal analysis of security protocol using Petri Nets," Acta Electronica Sinica, vol. 32, no.11, 2004, pp. 1926-1929.
20. W. Dresp, Computer-gesẗutzte Analyse von kryptographischen Protokollen mittels gef̈arbter Petrinetze, Diploma Thesis, Department of Business Information Systems, University of Regensburg, 2004.
21. Yang Xu, and Xiaoyao Xie, "Modeling and analysis of security protocols using Colored Petri Nets," Journal of Computers, vol. 6, no. 1, 2011, pp. 19-27.
22. Botao Li and Junzhou Luo, "Modeling and analysis of non-repudiation protocols by using Petri Nets," Journal of Computer Research and Development, vol. 42, no. 9, 2005, 1571-1577.
23. Panagiotis Katsaros, Vasilis Odontidis, and Maria Gousidou-Koutita, "Colored Petri net based model checking and failure analysis for E-commerce protocols," in Proc. 6th Workshop and Tutorial on Practical Use ofColoured Petri Nets and the CPN Tools, 2005, pp. 267-283.
24. Wenqi Liu, and Hong Gu, "Analysis of fairness in payment protocols based on Hierarchical Timed Coloured Petri Nets," Journal of Electronics & Information Technology, vol. 31, no. 6, 2009, 1445-1450.
25. CPN Tools Homepage: http://wiki.daimi.au.dk/cpntools/cpntools.wiki.
26. B. Cox, J. Tygar, and M. Sirbu, "NetBill Security and Transaction Protocol," in Proc. 1st USENIX Workshop on Electronic Commerce, July, 1995, pp. 77-88.
27. K. R. O'Toole, The Internet Billing Server Transaction Protocol Alternatives, Tech Rep: INITR-1, Information Network Institute, Carnegie Mellon University, 1994.
28. Yang Xu, Xueming Wang, and Xiaoyao Xie, "A new electronic payment protocol and its formal analysis," Computer Applications and Software, vol. 25, no. 9, 2008, pp. 93-95.