Volume 6 Number 1 (Jan. 2011)
Home > Archive > 2011 > Volume 6 Number 1 (Jan. 2011) >
JCP 2011 Vol.6(1): 19-27 ISSN: 1796-203X
doi: 10.4304/jcp.6.1.19-27

Modeling and Analysis of Security Protocols Using Colored Petri Nets

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


Abstract—Security protocols are the basis of security in networks. Therefore, it is essential to ensure that these protocols function correctly. However, it is difficult to design security protocols that are immune to malicious attack, since good analysis techniques are lacking. In this paper, the current main analysis techniques using Colored Petri Nets (CP-Nets) for analysis of security protocols are introduced. Based on the techniques, a new method using CP-Nets for the analysis of security protocols is presented. Specially, in the new method, an intruder CP-Net model is presented that provides an open-ended base for the integration of multiple attack tactics. This is a viable approach to overcome the state space explosion problem. Furthermore, the automated analysis tools CPN Tools is used. The Andrew secure RPC protocol is chosen to illustrate how a security protocol is analyzed using the new method. After model checking, an attack is found which the same as the one found by Gavin Lowe. These are stunning confirmations of the validity of the new method for analyzing security protocols.

Index Terms—security protocols, protocol analysis, Colored Petri Net, CPN Tools, Andrew secure RPC protocol

[PDF]

Cite: Yang Xu, Xiaoyao Xie, "Modeling and Analysis of Security Protocols Using Colored Petri Nets," Journal of Computers vol. 6, no. 1, pp. 19-27, 2011.

General Information

ISSN: 1796-203X
Abbreviated Title: J.Comput.
Frequency: Bimonthly
Editor-in-Chief: Prof. Liansheng Tan
Executive Editor: Ms. Nina Lee
Abstracting/ Indexing: DBLP, EBSCO,  ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat,etc
E-mail: jcp@iap.org
  • Nov 14, 2019 News!

    Vol 14, No 11 has been published with online version   [Click]

  • Mar 20, 2020 News!

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

  • Dec 16, 2019 News!

    Vol 14, No 12 has been published with online version   [Click]

  • Sep 16, 2019 News!

    Vol 14, No 9 has been published with online version   [Click]

  • Aug 16, 2019 News!

    Vol 14, No 8 has been published with online version   [Click]

  • Read more>>