Volume 6 Number 7 (Jul. 2011)
Home > Archive > 2011 > Volume 6 Number 7 (Jul. 2011) >
JSW 2011 Vol.6(7): 1181-1187 ISSN: 1796-217X
doi: 10.4304/jsw.6.7.1181-1187

Modeling and Analysis of Electronic Commerce Protocols Using Colored Petri Nets

Yang Xu1, 2, Xiaoyao Xie2, Huanguo Zhang1
1School of Computer, Wuhan University, Wuhan, China
2Key Laboratory of Information and Computing Science of Guizhou Province, Guizhou Normal University, Guiyang, China

Abstract—Electronic commerce protocols are the basis of security in electronic commerce. Therefore, it is essential to ensure these protocols correctly. With the ideas of ZQ logic and the security protocols analysis method using Colored Petri Nets, a new method synthesizing ZQ logic and Colored Petri Nets is presented to analyze electronic commerce protocols. The new method is suitable for analyzing both accountability and fairness. However, it needs not to establish a dispute settlement model. Moreover, the ISI protocol is chosen to illustrate how an electronic commerce protocol is analyzed using the new method. An insecure state of the ISI protocol is found. Thus, the ISI protocol does not achieve accountability and fairness. The result is the same as the one in [10] where ZQ logic is used. These are stunning confirmations of the validity of the new method for analyzing electronic commerce protocols.

Index Terms—Electronic Commerce Protocols; Colored Petri Nets; ISI Protocol; Accountability; Fairness


Cite: Yang Xu, Xiaoyao Xie, Huanguo Zhang, "Modeling and Analysis of Electronic Commerce Protocols Using Colored Petri Nets," Journal of Software vol. 6, no. 7, pp. 1181-1187, 2011.

General Information

ISSN: 1796-217X (Online)
Frequency: Monthly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Dec 06, 2019 News!

    Vol 14, No 1- Vol 14, No 4 has been indexed by EI (Inspec)   [Click]

  • Nov 18, 2019 News!

    Papers published in JSW Vol 14, No 1- Vol 14 No 10 have been indexed by DBLP     [Click]

  • Dec 06, 2019 News!

     Vol 13, No 10- Vol 13, No 12 has been indexed by EI (Inspec)   [Click]

  • Aug 01, 2018 News!

    [CFP] 2020 the annual meeting of JSW Editorial Board, ICCSM 2020, will be held in Rome, Italy, July 17-19, 2020   [Click]

  • Jun 25, 2019 News!

    Vol.13, No.9 has been indexed by EI (Inspec).   [Click]