突破认证测试方法的局限性

• 作者: 刘家芬 周明天
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 安全协议 形式化方法 串空间 认证测试
• 年，卷（期）: 2009,（10）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 2799-2809
• 页数: 11页
• 分类号: TP309
• 字数: 10835字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2009.03310

摘要

认证测试是一种用于证明安全协议认证属性的新方法,该方法能够简化协议认证属性的证明过程,但其局限性是无法应用于认证测试元素被多重加密的情况.指出Perrig和Song提出的认证测试改进方案在多个方面所存在的问题.在此基础上提出新的改进方案,并进行了形式化证明.新的认证测试定理突破了认证测试元素在整个协议消息中不能被加密的限制,扩展了认证测试理论的应用范围.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周明天	电子科技大学计算机科学与工程学院	315	3725	27.0	49.0
2	刘家芬	电子科技大学计算机科学与工程学院	5	73	4.0	5.0