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