New formal model for analysis of security certificate protocol
Hao Jiang · Jisuanji yingyong yanjiu · 2010
This paper presented a new formal model with fusion place based on Petri net to analyse Otway-Rees protocol. It analysed the protocol's model from its reachability and simulation. Experimental result indicates that this formal method not only simplifies modeling but also shrinks the model's state space.