A Method of Verifying Security Protocol Using Petri Net
Zhou Qing · Microcomputer Information · 2010
Securiy protocol is the key to implement network security,how to verify the safety of the security protocol is a very important job.This paper proposes an approach for the formal modeling and analysis of security properties of cryptographic protocols by using Colored Petri Net,this mothod is based on analysis idea of inverse inference and matrix of reachability of cpn,and then use a specific protocol to verify the validity of the method.