基于着色petri网的安全协议验证方法

• 作者: 刘进 肖德宝 陈丹
• 来源期刊: 华中师范大学学报（自然科学版）
• 学科: 工学
• 关键词: 着色petri网 安全协议 STS协议 协议验证
• 年，卷（期）: 2006,（3）
• 页码范围: 335-339
• 页数: 5页
• 分类号: TP311
• 字数: 2201字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-1190.2006.03.008

摘要

设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多.提出了一种基于着色petri网的安全协议验证方法.通过采用该方法对一个STS协议进行了分析,证明了这种方法的有效性,并根据分析结果给出了改进后的STS协议.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘进	华中师范大学计算机科学系	9	26	3.0	4.0
2	肖德宝	华中师范大学计算机科学系	68	857	16.0	25.0
3	陈丹	华中师范大学计算机科学系	18	64	4.0	8.0