An Method of Checking Security Protocols Based on CPN Models
Taoshen Li · Microelectronics & Computer · 2006
In this paper,we proposed a method which can check flaws in colored petri nets models of security protocols by simulating nets and state space analyse. We use this method to model the well-known Needham-Schroedor Public Key Protocol, execute this model by CPN Tools and found a flow in this protocol. Application result shows that the method is efficient.