改进的基于模块属性的远程证明协议.pdf

第30卷第 12期 计算机应用与软件 VolI3O No．12 2013年 12月 ComputerApplicationsandSoftware Dec．2013 改进 的基于模块属性的远程证明协议 王 伟 彭新光 (太原理工大学计算机科学与技术学院 山西 太原030024) 摘 要 为了提高远程证明方案的效率以及安全性，提 出一种基于模块属性的远程证明协议。相较于传统的远程证明协议，该协 议选择基于模块属性，在保证安全性的同时缩小了证明的交互范围，减少了证明时间；同时使用基于 自认证公钥的盲签密方案形成 模块属性密文。该签密方法基于双线性对，在验证公钥时不需额外证书，具有计算量小、效率高的优点。实验证明，相比于先使用 Nybery-Rueppel签名后通过RSA加密的属性证书形成方案，该方案可有效减少远程证 明方案的运行时间，从而提高远程证 明的 效率。 关键词 可信计算 远程证明 模块属性 自认证公钥的盲签密 中图分类号 TP309 文献标识码 A DOI：10．3969／j．issn．1000-386x．2013．12．040 IMPRoVED REMoTE ATTESTATIoN PRoToCoL BASED oN MoDULE PRoPERTY WangWei PengXinguang (SchoolofComputerScienceandTechnology，TaiyuanUniversityofTechnology，Taiyuan030024，Shanxi，China) Abstract Inordertoimprovethe efficiency and security ofremoteattestation program，wepresentamoduleproperty—basedremote attestationprotoco1．Comparedwithtraditionalremoteattestationprotocol，thisprotocolselectstobebasedonmoduleproperty，narrowsthe interactiverangeofproofwhileensuringthesecurity．Meanwhile,itusestheblindsigncryptionschemewhichisbasedonself-certifiedpublic keytoform modulepropertyciphertext．Thissigncryptionmethodisbasedonthebilinearanddoesnotneedadditionalverificationpublickey certificatewhenverifythepublickey．Ithastheadvantagesofsmallcomputationcomplexityandhighefficiency．Provedbytheexperiment， thisschemecaneffectivelyreducetherunningtimeofremoteattestationprorgam SOastoimprovetheefficiencyofremoteattestationcompared withthepropertycertificategenerationschemewhichusestheNybery—RueppelsignaturefirstandthenencryptingbyRSA． Keywords Trustedcomputing Remoteattestation Moduleproperty Blindsigncryptionwithself-certifiedpublickey 形成属性证书，这种方案虽然可以解决问题，但其需要两步才能 0 引 言 形成属性证