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

摘要：

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

关键词：安全协议、形式化方法、串空间、认证测试

所属期刊栏目：20

分类号：TP309(计算技术、计算机技术)

资助基金：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

在线出版日期：2009-12-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：2799-2809