Analysis of Cryptographic Protocol Based on Object Oriented Timed Petri Nets

This paper presents an analysis method of cryptographic protocol based on Object Oriented Timed Petri Nets(OOTPN), which uses the advantages of object oriented technology and timed Petri nets.This method can reduce the complication of modeling and computing, improve efficiency of modeling and realize high modularization of timed Petri nets.It can adapt to reunion and expansion during the analysis process of cryptographic protocol better.Results of instance analysis demonstrate that this method is valid.