基于属性的远程证明.pdfVIP

第31卷第8期 通信学报 、，ol_3lNO．8 Journal011Communications 2010 2010年8月 August 基于属性的远程证明模型 于爱民1，一，冯登国L2，汪丹1，2 (1．中国科学院软件研究所信息安全国家重点实验室，北京100190； 2．中国科学院信息安全共性技术国家工程研究中心，北京100190) 摘要：针对目前TCG组织定义的远程证明信任链模型在描述基于属性的远程证明时存在的不足，通过对基于 属性远程证明过程中的证明请求、可信策略以及可信性评估过程进行抽象，提出了一个新的基于属性的远程证明 模型。该模型将传统远程证明中信任链模型扩展为信任图，使得模型能够表达更为灵活的可信策略。还对可信策 略的属性可信性判定问题以及可信评估过程终止性问题进行了讨论，给出了相关定理及证明，为可信策略的定义 与检查提供了理论基础。基于该模型给出了实现可信网络接入时的可信策略定义，用实例验证了该模型在描述能 力方面的增强。 关键词：基于属性的远程证明；信任图；可信策略；可判定性 中固分类号：TP309 文献标识码：A remoteattestationmodel Property-based YU Danl2 Ai．minl一，FENG Deng—gu01”，WANG 100190，China； 2．TheNational ResearchCenterofInformation of 100190，China) Engineer Security．ChineseAcademySciences，aeijing trust—chainmodelisnotsufficientfor remote Abstract：SinceTCG—defmed describingproperty—basedattestation(PBRA)， attestationwas theelementsofPBRAwhichincludeat- anew remote model property·based proposedthroughanalyzing trusted testation andtrustevaluation thenewmodelthetraditionaltrust—chainbased request，trustedpolicy process．In wasextendedinto basedtrusted nladeitmore andflexible．Moreoverthedecida- policy trust-graph policy，as expressive forthetrustwoitllJnessofn under