操作系统内核的动态可信度量模型

《操作系统内核的动态可信度量模型》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、操作系统内核的动态可信度量模型摘要:动态可信度量是可信计算的研究热点和难点，针对由操作系统内核动态性所引起的可信度量困难问题，提出一种操作系统内核的动态可信度量模型，使用动态度量变量描述和构建系统动态数据对象及其关系，对内核内存进行实时数据采集，采用语义约束描述内核动态数据的动态完整性，通过语义约束检查验证内核动态数据是否维持其动态完整性。给出了模型的动态度量性质分析与证明，模型能够有效地对操作系统内核的动态数据进行可信度量，识别对内核动态数据的非法篡改。关键词:可信计算；可信度量；动态度量；操作系统内核；远程证明dynamictrustedmeasurement

2、modelofoperatingsystemkernelxinsi.yuan1*,zhaoyong2,liaojian.hua3,wangting41．instituteofelectronictechnology,informationengineeringuniversity,zhengzhouhenan450004，china；2．collegeofcomputerscience，beijinguniversityoftechnology，beijing100124，china；3．schoolofelectronicsengineeringandcompu

3、terscience,pekinguniversity,beijing100871,china；4．unit65047ofpla，shenyangliaoning100805，chinaabstract:dynamictrustedmeasurementisahotanddifficultresearchtopicintrustedcomputing.aimatthemeasurementdifficultyprobleminvokedbythedynamicnatureofoperatingsystemkerneladynamictrustedkernelmea

4、surement(dtkm)modelisproposed,dynamicmeasurementvariable(dmv)ispresentedtodescribeandconstructdynamicdataobjectsandtheirrelations,andthemethodofsemanticconstraintisproposedtomeasurethedynamicintegrityofkernelcomponents.indtkm,thecollectionofmemorydataisimplementedinrealtime,andthedyna

5、micintegrityisverifiedbycheckingwhethertheconstructeddmvisconsistentwithsemanticconstraintswhicharedefinedbasedonthesecuritysemantic.formalanalysisandapplicationexamplesshowthatdtkmcaneffectivelyimplementdynamicmeasurementofthekernelanddetecttheillegalmodificationofthekerneldynamicdat

6、a.dynamictrustedmeasurementisahotanddifficultresearchtopicintrustedcomputing.concerningthemeasurementdifficultyinvokedbythedynamicnatureofoperatingsystemkernel,adynamictrustedkernelmeasurement(dtkm)modelwasproposed.dynamicmeasurementvariable(dmv)waspresentedtodescribeandconstructdynam

7、icdataobjectsandtheirrelations,andthemethodofsemanticconstraintwasproposedtomeasurethedynamicintegrityofkernelcomponents.indtkm,thecollectionofmemorydatawasimplementedinreal.time,andthedynamicintegritywasverifiedbycheckingwhethertheconstructeddmvwasconsistentwithsemanticconstraintswhi

8、chwer