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
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
  • Aug 21, 2019 News!

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

  • Jun 25, 2019 News!

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

  • Aug 01, 2018 News!

    [CFP] 2019 the annual meeting of JSW Editorial Board, ICCSM 2019, will be held in Barcelona, Spain, July 14-16, 2019.   [Click]

  • Jul 10, 2019 News!

    Vol 14, No.8 has been published with online version 4 original aritcles from 2 countries are published in this issue.    [Click]

  • Jul 22, 2019 News!

    Welcome Prof Ferhat Khendek from Canada to join the Editorial board of JSW    [Click]