认证测试方法的扩展及其应用

• 作者: 周清雷 毋晓英
• 来源期刊: 郑州大学学报（工学版）
• 学科: 工学
• 关键词: 串空间模型 认证测试 TLS协议 哈希函数 测试分量
• 年，卷（期）: 2010,（3）
• 页码范围: 50-53
• 分类号: TP309
• 字数: 4408字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-6833.2010.03.013

摘要

基于串空间模型的认证测试方法分析协议的安全性有一定的局限性,只能分析有限的协议.因此,对基于串空间模型的认证测试方法进行了扩展,通过修改测试分量和认证测试规则,对该方法进行了改进,运用扩展后的认证测试方法对使用签名和哈希函数的TLS协议进行了分析,扩大了认证测试方法的使用范围;并提出了对测试分量新鲜性的检验,进一步完善了认证测试方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周清雷	郑州大学信息工程学院	109	475	10.0	16.0
2	毋晓英	郑州大学信息工程学院	3	7	2.0	2.0