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

[PDF]

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 (2006-2019); Bimonthly (Since 2020)
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, Google Scholar, 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]

  • Jun 22, 2020 News!

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

  • Jun 22, 2020 News!

    The papers published in Vol 15, No 5 have all received dois from Crossref    [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 22, 2020 News!

    Vol 15, No 5 has been published with online version     [Click]