面向可信移动平台具有用户可控关联性的匿名证明方案

作     者：岳笑含 周福才 林慕清 李福祥 YUE Xiao-Han;ZHOU Fu-Cai;LIN Mu-Qing;LI Fu-Xiang

作者机构：东北大学信息科学与工程学院沈阳110004 东北大学软件学院沈阳110004 

基　　金：国家科技重大专项基金(2013ZX03002006) 国家"八六三"高技术研究发展计划项目基金(2009AA01Z122) 辽宁省百千万人才工程项目(2011921071) 沈阳市自然科学基金(F10-205-1-12)资助~~ 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2013年第36卷第7期

页      码：1434-1447页

摘      要：针对可信移动平台(Trusted Mobile Platform,TMP)远程认证方式中直接匿名证明方案存在的性能瓶颈、R攻击以及跨信任域问题,提出了一种新型的具有用户可控关联性的匿名证明(Anonymous Attestation with User-controlled-linkability,TMP-UAA)方案.通过引入可信第三方CA构建了方案的模型,该模型可以有效解决传统直接匿名证明设计中存在的R攻击和跨信任域问题,且易于部署实现.根据提出的方案模型,首先利用Paillier加密系统及可验证加密技术设计了一个安全两方计算协议,该协议用于实现TPM-UAA方案中的Join协议;其次运用该协议并结合提出的l-MSDH假设和XDH假设给出了方案的具体设计;然后在随机预言模型下对方案的安全性进行了证明,证明表明该方案满足用户可控匿名性以及用户可控可追踪性;此外在性能方面与现有直接匿名证明方案相比,该方案具有更短的签名长度以及更高的计算效率;最后阐述了TPM-UAA方案在可信移动环境下的跨域证明,该证明避免了传统直接匿名证明存在的跨信任域及R攻击问题.

主 题 词：匿名证明 可信移动平台 移动可信模块 跨信任域 R攻击 用户可控关联性 移动互联网 

学科分类：0810[工学-土木类] 0808[工学-自动化类] 0839[0839] 08[工学] 0835[0835] 0811[工学-水利类] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3724/SP.J.1016.2013.01434

馆 藏 号：203402699...