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

• 作者: 张卉 李续武 校云超 赵媛莉
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 有色Petri网 安全协议 攻击成功函数
• 年，卷（期）: 2013,（7）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 60-63
• 页数: 4页
• 分类号: TP393.08
• 字数: 3583字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2013.07.010

摘要

利用有色Petri网分析安全协议时存在空间爆炸问题,对此提出了构建入侵者成功攻击安全协议所需知识集RI与入侵者可以获得的知识集KI,并定义入侵成功函数的改进型有色Petri网.利用改进型有色Petri网对具体的Helsinki协议和TMN协议进行了分析.实验表明,该方法能大大简化带有入侵者的Petri网模型的构造过程,有效缓解了Petri网在分析安全协议时的空间爆炸问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李续武	空军工程大学防空反导学院	32	145	6.0	10.0
2	张卉	空军工程大学防空反导学院	4	4	1.0	2.0
3	赵媛莉	空军工程大学防空反导学院	1	3	1.0	1.0
4	校云超	空军工程大学防空反导学院	2	4	1.0	2.0