欢迎来到天天文库
浏览记录
ID:50274231
大小:75.30 KB
页数:11页
时间:2020-03-07
《操作系统内核的动态可信度量模型.doc》由会员上传分享,免费在线阅读,更多相关内容在工程资料-天天文库。
1、操作系统内核的动态可信度量模型摘要:动态可信度量是可信计算的研究热点和难点,针对由操作系统内核动态性所引起的可信度量困难问题,提出一种操作系统内核的动态可信度量模型,使用动态度量变量描述和构建系统动态数据对象及其关系,对内核内存进行实时数据采集,采用语义约束描述内核动态数据的动态完整性,通过语义约束检查验证内核动态数据是否维持其动态完整性。给出了模型的动态度量性质分析与证明,模型能够有效地对操作系统内核的动态数据进行可信度量,识别对内核动态数据的非法篡改。关键词:可信计算;可信度量;动态度量;操作系统内核;远程证明dynamictrustedmeasurementmodelofoperatin
2、gsystemkernelxinsi.yuan1*,zhaoyong2,liaojian.hua3,wangting41.instituteofelectronictechnology,informationengineeringuniversity,zhengzhouhenan450004,china;2.collegeofcomputerscience,beijinguniversityoftechnology,beijing100124,china;3.schoolofelectronicsengineeringandcomputerscience,pekinguniversity,be
3、ijing100871,china;4.unit65047ofpla,shenyangliaoning100805,chinaabstract:dynamictrustedmeasurementisahotanddifficultresearchtopicintrustedcomputing.aimatthemeasurementdifficultyprobleminvokedbythedynamicnatureofoperatingsystemkerneladynamictrustedkernelmeasurement(dtkm)modelisproposed,dynamicmeasurem
4、entvariable(dmv)ispresentedtodescribeandconstructdynamicdataobjectsandtheirrelations,andthemethodofsemanticconstraintisproposedtomeasurethedynamicintegrityofkernelcomponents.indtkm,thecollectionofmemorydataisimplementedinrealtime,andthedynamicintegrityisverifiedbycheckingwhethertheconstructeddmvisco
5、nsistentwithsemanticconstraintswhicharedefinedbasedonthesecuritysemantic.formalanalysisandapplicationexamplesshowthatdtkmcaneffectivelyimplementdynamicmeasurementofthekernelanddetecttheillegalmodificationofthekerneldynamicdata.dynamictrustedmeasurementisahotanddifficultresearchtopicintrustedcomputin
6、g.concerningthemeasurementdifficultyinvokedbythedynamicnatureofoperatingsystemkernel,adynamictrustedkernelmeasurement(dtkm)modelwasproposed.dynamicmeasurementvariable(dmv)waspresentedtodescribeandconstructdynamicdataobjectsandtheirrelations,andthemethodofsemanticconstraintwasproposedtomeasurethedyna
7、micintegrityofkernelcomponents.indtkm,thecollectionofmemorydatawasimplementedinreal.time,andthedynamicintegritywasverifiedbycheckingwhethertheconstructeddmvwasconsistentwithsemanticconstraintswhichwer
此文档下载收益归作者所有