Specification and Verification of Security Protocol Using Colored Petri Nets
Xin Ye · 2006
Formal specification and verification of network security protocol makes contribution to avoiding protocol de- signing error or inaccuracy.This paper will model Needham-Schroeder Public-Key Authentication Protocol with Col- ored Petri Nets,which has strong mathematical foundation and strong analyzable ability,and give a specific analysis a- bout this protocol,in order to point out the insecurity and make some im(?)