基于有色Petri网模型的安全协议检测方法

• 作者: 吴瑞龙 李陶深
• 来源期刊: 微电子学与计算机
• 关键词: 有色Petri网 CPN Tools 安全协议 Needham-Schroedor公钥协议 建模
• 年，卷（期）: 2006,（3）
• 页码范围: 160-164
• 页数: 5页
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2006.03.046

摘要

提出了一种用有色Petri网对安全协议建模,并通过模拟和对状态空间检测来发现协议漏洞的方法.利用这一方法对著名的Needham-Schroedor公钥协议建模,然后用CPN Tools实现并对协议进行检测,发现了协议存在的漏洞.应用结果表明,方法有效.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李陶深	广西大学计算机与电子信息学院	394	2640	25.0	36.0
2	吴瑞龙	广西大学计算机与电子信息学院	2	8	1.0	2.0