Security Simulation to Security Protocol Based on Coloured Petri Net
Zheng Jun · Jisuanji fangzhen · 2006
An approach for the security simulation to security protocol based on coloured Petri net was proposed. First, the protocol was modeled by using coloured Petri net. Andthen the possible insecurity state in the security protocol was analyzed.Finally, the reachability of possible insecurity state was judged by the reachability analysis of petri net. At last, the Diffie-Hellman protocol was analyzed by this method.The result shows that the method is effective.