安全协议扩展Petri网模型及检测

• 作者: 孟传良 张成宇 梅翀
• 来源期刊: 科技与创新
• 关键词: 安全协议 Petri网 模型
• 年，卷（期）: 2007,（27）
• 所属期刊栏目: 信息安全
• 页码范围: 59-61
• 页数: 3页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2007.27.023

摘要

协议安全性分析是网络安全的一个难题,运用形式方法对协议进行安全分析和检测,找出安全漏洞仍是该领域的研究热点.本文提出了一种新的基于扩展Pebri网的安全协议建模方法,并且使用该方法对经典协议做了建模、分析和检测,构造了攻击模型,证明了这种方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孟传良	贵州大学电信学院	25	154	5.0	12.0
2	张成宇	贵州大学电信学院	10	75	3.0	8.0
3	梅翀	贵州大学电信学院	3	3	1.0	1.0