基于面向对象时间Petri网的密码协议分析  

Analysis of Cryptographic Protocol Based on Object Oriented Timed Petri Nets

作　　者：刘雪艳[1] 吴慧欣[2] 张强[1,3] 王彩芬[1] 

机构地区：[1]西北师范大学数学与信息科学学院,兰州730070 [2]华北水利水电学院信息工程学院,郑州450011 [3]西安理工大学工商管理学院,西安710048

出　　处：《计算机工程》2009年第13期156-159,共4页Computer Engineering

基　　金：国家自然科学基金资助项目(10702065);陕西省自然科学基金资助项目(2005F45);西北师大数信学院青年教师基金资助项目

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

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

分 类 号：TP309[自动化与计算机技术—计算机系统结构]