| 突破认证测试方法的局限性 |
| |
| 引用本文： | 刘家芬,周明天.突破认证测试方法的局限性[J].软件学报,2009,20(10):2799-2809. |
| |
| 作者姓名： | 刘家芬 周明天 |
| |
| 作者单位： | 电子科技大学,计算机科学与工程学院,四川,成都,610054 |
| |
| 基金项目： | Supported by the National High-Tech Research and Development Plan of China under Grant No.863-104-03-01 (国家高技术研究发展计划(863)); the National Key Technology R&D Program of China under Grant No.2006DAH02A04 (国家科技支撑计划) |
| |
| 摘 要： | 认证测试是一种用于证明安全协议认证属性的新方法,该方法能够简化协议认证属性的证明过程,但其局限性是无法应用于认证测试元素被多重加密的情况.指出Perrig和Song提出的认证测试改进方案在多个方面所存在的问题.在此基础上提出新的改进方案,并进行了形式化证明.新的认证测试定理突破了认证测试元素在整个协议消息中不能被加密的限制,扩展了认证测试理论的应用范围.
|
| 关 键 词： | 安全协议 形式化方法 串空间 认证测试 |
| 收稿时间： | 2007/5/20 0:00:00 |
| 修稿时间： | 2008/3/12 0:00:00 |
Overcome the Limitation on Authentication Test |
| |
| LIU Jia-Fen and ZHOU Ming-Tian.Overcome the Limitation on Authentication Test[J].Journal of Software,2009,20(10):2799-2809. |
| |
| Authors: | LIU Jia-Fen and ZHOU Ming-Tian |
| |
| Abstract: | Authentication test is a newly presented method that testifies protocols' authentication properties. Its proving process is simple and precise; unfortunately it can not analyze protocols with test components multi-encrypted. This paper analyzes the authentication test scheme improved by Perrig and Song and points out its deficiency. Then it proposes an Enhanced Authentication Test theory and proves its soundness in formal. The enhanced authentication test lifts the restriction that test component can not be multi-encrypted in protocol messages, also repairs the inaccuracies in Perrig's scheme. |
| |
| Keywords: | security protocol formal analysis method strand space authentication test |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
