层次化行为可信性验证.pdfVIP

第 38卷 第 9期 北 京 工 业 大 学 学 报 Vo1．38 No．9 2012年 9月 JOURNALOFBEIJING UNIVERSITY OFTECHNOLOGY Sep．2012 层次化行为可信性验证 庄 碌 ，蔡 勉 ，沈 昌祥 (1．北京工业大学 计算机学院，北京 100124；2．可信计算北京市重点实验室，北京 100124) 摘 要：为了缓解度量粒度细化引发的可用性降低，基于并发理论提出层次化的行为可信性验证模型及方法．将 面向行为的可信动态度量的可信性验证中对平台行为依时间序的顺次验证方式，转化为基于一种层次化的预期行 为描述 的可信性验证 ，相关定理保证 了转化 的等价性．效率分析结果表明，层次化 的验证方式提高了存储效率和验 证效率 ，能解决细粒度可信动态度量 的可行性问题． 关键词 ：可信计算 ；可信动态度量 ；行为可信性验证 ；层次化方法 中图分类号 ：TP309 文献标志码 ：A 文章编号 ：0254—0037(2012)09—1396—06 HierarchicalVerificationofBehaviorTrustworthiness ZHUANG Lu一。CAIMian 一．SHEN Chang—xiang ， (1．CollegeofComputerScience，BeijingUniversityofTechnology，Beijing100124，China； 2．BeijingMunicipalKeyLaboratoryofTrustedComputing，Beijing100124，China) Abstract：Toslow downreduction inavailabilitycausedbymeasurementgranularityrefinement，amodel andthecorrespondingmethodofhierarchicalverificationofbehaviortrustworthinesswereproposedbased onconcurrency theory．The sequentialverification ofplatform behaviorsin time in behavior—oriented trusteddynamicmeasurementwastranslated totheverification based on thehierarchicaldescription of expectedbehaviors．Thecorrespondingtheorem ensured equivalence oftranslation．Efficiency analysis resultsshow thathierarchicalverification improvesmemory efficiency and verification efficiency，and enhancesthefeasibilityoffine—grainedtrusteddynamicmeasurement． Keywords：trustedcomputing；trusted dynamicmeasurement；verification ofbehaviortrustworthiness； hierarchjca1methOd 在 TCG(trustedcomputinggroup)提出的 “特定 率上的瓶颈 ，如一种基于软件行为的动态完整性度 目标下行为可预期” 的可信定义下，逐步形成 了 量模型 以及作者先前基于软件行为学 的可信 由预期描述 、度量平台证据获取 、可信性验证构成的 动态度量 等所采用的线性验证方式 ，这种验证可 可信动态度量流程 ，以保障可信计算系统运行时可