用于安全协议分析的一种新的状态剪枝方法

• 作者: 周清雷 赵东明 马中良
• 来源期刊: 科技与创新
• 关键词: 安全协议分析 串空间模型 状态空间剪枝 认证测试 剪枝定理
• 年，卷（期）: 2007,（27）
• 所属期刊栏目: 信息安全
• 页码范围: 75-77
• 页数: 3页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2007.27.030

摘要

Strand空间模型是利用图的形式来描述和分析安全协议的.通过对该模型的研究,总结了已有的状态空间简化技术;研究了如何将认证测试理论应用于安全协议分析中,根据认证测试理论我们得出了一个剪枝定理.研究表明该剪枝定理能够大大减少协议分析中的冗余状态,提高了协议分析的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵东明	郑州大学信息工程学院	18	49	4.0	6.0
2	马中良	郑州大学信息工程学院	1	0	0.0	0.0