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

• 作者: 余道华 王宁丽
• 来源期刊: 安徽工业大学学报（自然科学版）
• 关键词: 安全协议 有色Petri网 形式化分析 Helsinki协议
• 年，卷（期）: 2010,（4）
• 页码范围: 413-418
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1671-7872.2010.04.019

摘要

针对传统有色Petri网方法在安全协议分析中存在的一些不足,提出一种新的基于有色Petri网模型的分析方法.给出改进型的基于有色Petri网的模型构造方法及协议分析的具体步骤,利用此法对具体的Helsinki协议进行建模和分析.实验证明,这种方法行之有效,且在一定程度上有利于有色Petri网安全协议向自动化分析方向发展.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王宁丽	安徽工业大学教务处	5	5	1.0	1.0
2	余道华	安徽工业大学计算机学院	2	2	1.0	1.0