串空间和认证测试在协议分析中的应用

• 作者: 丁萌伟 周清雷 赵东明
• 来源期刊: 科技与创新
• 关键词: 安全协议 串空间 认证测试 x.509
• 年，卷（期）: 2008,（30）
• 所属期刊栏目: 软件时空
• 页码范围: 179-181
• 页数: 3页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2008.30.073

摘要

串空间模型是一种新兴的密码协议形式化分析工具.分别采用串空间模型争认证测试这两种前沿的形式化分析方法对X.509协议的认证性进行了分析,指出了该协议在认证正确性方面存在的缺陷.然后针对分析结论提出了改进协议,并使用认证测试方法证明了改进的协议能够实现认证的正确性.通过比较发现应用认证测试方法分析安全协议,比单纯应用串空间模型更为简洁和直观.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周清雷	郑州大学信息工程学院	109	475	10.0	16.0
2	赵东明	郑州大学信息工程学院	18	49	4.0	6.0
3	丁萌伟	郑州大学信息工程学院	3	9	2.0	3.0