Abstract: 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.

Key words: Object Oriented Timed Petri Nets(OOTPN), cryptographic protocol, TMN protocol, inhibitor-arcs

摘要： 利用面向对象技术和时间Petri网的优点，提出一种基于面向对象时间Petri网的密码协议分析方法。该方法可以降低建模复杂性和计算复杂性，提高建模效率，实现时间Petri网的高度模块化，能更好地适应密码协议分析过程中的重组和扩充。实例分析结果证明了该方法的有效性。

关键词: 面向对象时间Petri网, 密码协议, TMN协议, 抑制弧

CLC Number: 

• TP309