通用可组合的匿名hash认证模型-中国科学杂志社.pdfVIP

中国科学 E 辑:信息科学 2007 年 第37 卷 第2 期: 272~284 SCIENCE IN CHINA PRESS 通用可组合的匿名HASH 认证模型 张 帆 马建峰 (西安电子科技大学计算机网络与信息安全教育部重点实验室, 西安 710071) 文相在 ( 国立庆北大学移动网络安全技术研究中心, 韩国 大邱广域市 702-701) 摘要 理想函数是通用可组合安全的核心组成部分, 但是目前通用可组合安全 框架中定义的认证理想函数通过将身份与消息和签名值绑定的方式来实现对身 份的认证, 没能充分体现出采用其他形式进行匿名认证的特殊需求. 受到 Marten 的启发, 文中利用通用可组合安全定义并实现了一种适用于无线网络的匿名 Hash 认证理想函数, 并在此基础上定义了一个具有普遍意义的Hash 证书权威模 型. 定义了匿名 Hash 认证机制的安全需求和安全概念, 并且证明在标准模型(非 随机预言机模型)下所提匿名Hash 认证机制的安全属性可以通过安全对称加密机 制、安全数据签名机制、伪随机函数以及单向无碰撞Hash 函数的组合得到保证. 考虑到无线网络的特殊限制, 以及移动终端设备的有限计算能力, 本理想函数主 要采用对称密码原语来实现身份认证. 关键词 通用可组合安全 匿名 认证 Hash 安全协议的研究一直是人们关注的话题, 一般来说, 安全协议研究分为两大阵营: 符号逻 辑观点和计算复杂性观点 [1]. 符号逻辑观点用简单的形式化语言和符号方法进行协议设计和 推理分析, 它包括: BAN逻辑、GSP方法、NRL协议机等等 [2]. 计算复杂性观点用一种计算模 型和复杂性理论进行协议设计和推理分析, 它包括当前流行的安全性证明Random Oracle模 型 [3] 、安全多方计算模型 [4,5] 、Canetti-Krawczyk模型 [6,7] 、通用可组合安全模型 [8]等等. 通用可组合安全(Universally Composable Security, UC Security) 的概念是由Ran Canetti在 总结前人工作 [9] 的基础上于 2001 年提出的计算复杂性理论模型. 通用可组合的安全框架主要 用于描述和分析并发环境下的协议安全问题 [10,11]. 并发组合是现实网络环境中的实际情形, 在孤立模型中证明安全的协议在组合情形下不一定是安全的. 因此, 在孤立模型中证明一个 收稿日期: 2006-07-13; 接受日期: 2006-09-30 韩国MIC 以及ITRC(批准号: IITA-2006-C1090-0603-0026)和国家自然科学基金(批准号:资助项目 第 2 期 张 帆等: 通用可组合的匿名 HASH 认证模型 273 协议的安全性还是不够的. 通用可组合安全框架中最重要的属性是它能够确保协议在任意的 和未知的多方环境中运行时仍然是安全的 [8]. 该框架采用的方法是将一个协议在独立的环境 中进行分析, 然后利用其安全定义来确保它在组合情形下的安全. 在复杂环境中, 协议的安全 性可以通过通用可组合定理来得到保证. 通用可组合安全是更高级别的安全定义, 它的抽象 层次远远超过其他模型,