改进型有色Petri网的安全协议分析  

Security protocols analysis of improved colored Petri nets

作　　者：张卉[1] 李续武[1] 赵媛莉[1] 校云超[1] 

机构地区：[1]空军工程大学防空反导学院,陕西西安710051

出　　处：《计算机工程与科学》2013年第7期60-63,共4页Computer Engineering & Science

摘　　要：利用有色Petri网分析安全协议时存在空间爆炸问题,对此提出了构建入侵者成功攻击安全协议所需知识集RI与入侵者可以获得的知识集KI,并定义入侵成功函数的改进型有色Petri网。利用改进型有色Petri网对具体的Helsinki协议和TMN协议进行了分析。实验表明,该方法能大大简化带有入侵者的Petri网模型的构造过程,有效缓解了Petri网在分析安全协议时的空间爆炸问题。According to the deficiency that space exploration may occur when the security protocols of col- ored Petri nets are analyzed, the paper proposes to construct the knowledge RI that is required by intruders to successfully attack the security protocols and the knowledge KI that can be obtained by intruders. And the im- proved colored Petri net of successful attack functions. The improved colored Petri net is used to analyze Helsin- ki protocol and TMN protocol. Experiments show that the proposal can simplify the procedure of constructing the Petri net with intruders, and efficiently solve the space exploration problem.

关 键 词：有色PETRI网 安全协议 攻击成功函数 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]