一种基于多可信属性的证据模型建立方法施光源.doc

一种基于多可信属性的证据模型建立方法施光源.doc一种基于多可信属性的证据模型建立方法施光源第29卷第3期2011年8月贵州师范大学学报(自然科学版)JournalofGuizhouNormalUdiversity(NaturalSciences):1004—5570(2011)03-0066-09一种基于多可信属性的证据模型建立方法施光源,付颖芳(北京工业大学计算机学院,北京100124)摘要:可信远程证明是可信计算技术中非常重要的一部分,而可信证据又是可信远程证明的基础。但是,通过研究现有主耍可信远程证明方法发现对于可信证据研究主要存在以下几个问题:首先,证据信息不充分,不能满足可信证明的需求;其次,证据信息组织不够合理;最后,由于可信性具有一定的主观性,与用户的预期相关,但现有方法中在收集证据时没冇考虑用户的预期。针对上述问题,提出了一种可信远程证明的证据模型建立方法。该方法依据可信属性建立证据模型与用户预期模型,并利用该模型对软件不同阶段的证据信息进行收集,最后,根据模型建立形式更加规范的可信证据实例,该实例表明证据信息更加多样,符合用户的预期。关键词:可信计算;远程证明;证据模型文献标识码:A中图分类号:TP311EstablishingEvidenceModelbasedonMultipleAttributesofTrustworthinessSHIGuang・yuan,FUYing・fang(puterSciences,BeijingUniversityofTechnology,Beijingl00124,China)Abstract:puting,,byresearchingtheexistingattestationmethods,thereareseveralissuesabouttrustedevidenee:First,theeontentofevidenceisrathersimplistic,anditcan'tsatisfiestherequirementsofusers;anizationoftheevidenceisnotreasonable;Fi-nally,becauseofsubjectiveoftrustworthiness,andrelatingtoexpectationofusers,existingattestationmethodsdon'tconsidertheuser7sexpectation,,weproposedamethodforbuildingtheevidencemodeloftrustedremoteattestation,,thensetupmoreformalinstanceoftrustedevi・,throughthepracticalapplicationofevidencemodebthetrustedevidenceismorecorrvprehensive,:puting;remoteattestation;evidencemodel收稿口期:2011-06-,2009AA012437),基金项目:国家高技术研究与发展计划(863计划,国家重点基础研究发展计划(),计划,中国博士后科学基金()□E—mail:118sgy@;作者简介:施光源(1983—),男,河北唐山人,博士研究生,研究方向:可信计算,信息安全,付颖芳(1976—),女,湖南洞口人,博士后,讲师,研究方向:无限mesh网安全,可信计算等。66第3期施光源,付颖芳:一种基于多可信属性的证据模型建立方法「介绍量,具冇一定的实时性。近年來,可信证明研究范LucasDavi围逐步从计算平台扩展到了应用软件,利用污点跟踪和动态跟踪技术来发现ROP攻击,并且将传统IMA的完整性度量结果和动态等度量结果一起作为远程证明的内容。LiangGu等在文献屮通过对冃标平台及所冇依赖对象进行度量,然后分析程序