基于Petri网的安全协议分析

• 作者: 余道华 王振宇 黄瑾娉
• 来源期刊: 网络安全技术与应用
• 学科: 工学
• 关键词: Petri网 安全协议 Needham-schroedor公钥协议 建模
• 年，卷（期）: 2008,（11）
• 所属期刊栏目: 网络安全
• 页码范围: 9-11
• 页数: 3页
• 分类号: TP3
• 字数: 2312字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-6833.2008.11.003

摘要

本文提出了一种用Petri网对安全协议建模,并通过倒推证明方法与Petri网的可达性矩阵描述来发现协议漏洞的方法.通过对著名的Needham-Schroedor公钥协议建模,然后利用这一方法对协议进行检测,发现了协议存在漏洞.应用结果表明,方法有效.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王振宇	安徽工业大学计算机学院	3	5	2.0	2.0
2	黄瑾娉	安徽工业大学计算机学院	10	107	4.0	10.0
3	余道华	安徽工业大学计算机学院	2	2	1.0	1.0