%0 Journal Article %T 突破认证测试方法的局限性 %A 刘家芬? %A 周明天? %J 软件学报 %P 2799-2809 %D 2009 %X 认证测试是一种用于证明安全协议认证属性的新方法,该方法能够简化协议认证属性的证明过程,但其局限性是无法应用于认证测试元素被多重加密的情况.指出perrig和song提出的认证测试改进方案在多个方面所存在的问题.在此基础上提出新的改进方案,并进行了形式化证明.新的认证测试定理突破了认证测试元素在整个协议消息中不能被加密的限制,扩展了认证测试理论的应用范围. %K 安全协议 %K 形式化方法 %K 串空间 %K 认证测试 %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=3310&flag=1