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

Analysis on Improved Colored Petri Nets of Security Protocols

作　　者：王宁丽[1] 余道华[2] 

机构地区：[1]安徽工业大学教务处,安徽马鞍山243002 [2]安徽工业大学计算机学院,安徽马鞍山243002

出　　处：《安徽工业大学学报（自然科学版）》2010年第4期413-418,共6页Journal of Anhui University of Technology（Natural Science）

基　　金：安徽省教育厅自然科学基金重点项目(KJ2009A136)

摘　　要：针对传统有色Petri网方法在安全协议分析中存在的一些不足,提出一种新的基于有色Petri网模型的分析方法。给出改进型的基于有色Petri网的模型构造方法及协议分析的具体步骤,利用此法对具体的Helsinki协议进行建模和分析。实验证明,这种方法行之有效,且在一定程度上有利于有色Petri网安全协议向自动化分析方向发展。An improved security protocol checking method based on colored Petri nets models is put forward,focused on the deficiencies of the traditional security protocol analysis method based on colored Petri nets.Then it is used to the Helsinki protocol by modeling and analyzing.The method is proved feasible through experiments,and in favor of developing oriented to automation analysis of security protocol based on colored Petri nets to some extent.

关 键 词：安全协议 有色PETRI网 形式化分析 Helsinki协议 

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