短群签名在可信就是中的应用研究.pdfVIP

第 10卷第4期 信 息 工 程 大 学 学 报 Vo1．10 NO．4 2009年 12月 JournalofInformationEngineeringUniversity Dec．2009 短群签名在可信计算中的应用研究 宋 扬 ，李立新 ，周雁舟 ，沈 平 (1．信息工程大学 电子技术学院，河南 郑州 450004；2．大连理工大学 ，辽宁 大连 116023) 摘要 ：远程证明提供 了平台身份匿名认证功能，并给出了基于隐私 CA及直接 匿名认证两种方 案。直接匿名认证方案的提出意在解决隐私 CA方案 中的CA瓶颈 问题。文章提 出了一种全 新的直接匿名认证方案：以标准模型下的短群签名机制为主线，以1～MOMSDH假设为安全基 础，在与现有方案保持相似效率的前提下，提高协议整体安全性。 关键词 ：远程证明；TPM；DAA；双线性配对；短群签名 中图分类号 ：TP393 文献标识码 ：A 文章编号：1671—0673(2009)04—0444—05 ShortGroup SignatureinTrusted Computing SONG—Yang ，LILi—xin ，ZHOU Yan—zhou ，SHEN-Ping (1．InstituteofElectronicTechnology，InformationEngineeringUniversity，Zhengzhou450004，China； 2．DalianUnversityofTechnology，Dalian116023，China) Abstract：Remoteattestationrealizestheplatform identityauthentication anonymouslythrough Priva- cyCAandDirectAnonymousAttestation (DAA)．DAA solvesthebottleneck—problemfromthePri— vacyCA．Thispaperproposesanew DAA protocolrfom shortgroup signaturewhichtakestheshort group signatusein standardmodelsasmain line，and the1一MOMSDH assumption assecurityfunda— tion．ItimprovesthewholesecurityofDAA andmaintainsthesameefficiency． Keywords：remoteattestation；TPM ；DAA；bilinearmaps；shortgroup signature 远程证 明(RemoteAttestation)是可信计算平 可 以看作是一个没有打开签名能力但具有检测假 台提供 的重要功能之一 ，它建立在可信计算平台可 冒成员能力 的群签名机制 ：首先 ，TPM欲证实它 信度量和可信报告的基础上，通过信任传递 ，将信 是群中的一员 ，或证 实其可信性，只需证 明其拥有 任延伸到整个计算机系统 ，乃至整个网络。远程证 一 个成员公钥证书，并知道其私钥 ；其次，为了能使 明最核心的功能是提供了平 台身份匿名认证 ，并提 验证方检测到假 冒的TFM，TPM 需要计算并证 明 出了基于隐私 CA…和直接匿名认证 两种解决 N = 的正确性 ，其 中 ／是 TPM 的私钥 ，是一个 方案 。在基于隐私 CA方案 中，CA需参与每次认 代数群的生成元 ，在该代数群 中计算离散对数是 证而成为方案 的瓶颈，因此 TCG提出直接匿名认 不可行 的。 证方案。