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

操作系统内核的动态可信度量模型
辛思远;赵勇;廖建华;王婷
【期刊名称】《计算机应用》
【年(卷),期】2012(32)4
【摘要】动态可信度量是可信计算的研究热点和难点,针对由操作系统内核动态性所引起的可信度量困难问题,提出一种操作系统内核的动态可信度量模型,使用动态度量变量描述和构建系统动态数据对象及其关系,对内核内存进行实时数据采集,采用语义约束描述内核动态数据的动态完整性,通过语义约束检查验证内核动态数据是否维持其动态完整性.给出了模型的动态度量性质分析与证明,模型能够有效地对操作系统内核的动态数据进行可信度量,识别对内核动态数据的非法篡
改.%Dynamic trusted measurement is a hot and difficult research topic in trusted computing. Concerning the measurement difficulty invoked by the dynamic nature of operating system kernel, a Dynamic Trusted Kernel Measurement (DTKM) model was proposed. Dynamic Measurement Variable (DMV) was presented to describe and construct dynamic data objects and their relations, and the method of semantic constraint was proposed to measure the dynamic integrity of kernel components. In DTKM, the collection of memory data was implemented in real-time, and the dynamic integrity was verified by checking whether the constructed DMV was consistent with semantic constraints which were defined based on the security semantics. The nature analysis and application examples
show that DTKM can effectively implement dynamic measurement of the kernel and detect the illegal modification of the kernel dynamic data.【总页数】5页(P953-956,967)
【作者】辛思远;赵勇;廖建华;王婷
【作者单位】信息工程大学电子技术学院,郑州450004;北京工业大学计算机学院,北京100124;北京大学信息科学技术学院,北京100871;65047部队,沈阳100805【正文语种】中文
【中图分类】TP309
【相关文献】
1.基于动态贝叶斯网络的可信度量模型研究 [J], 梁洪泉;吴巍
2.基于可信计算的动态完整性度量模型 [J], 杨蓓;吴振强;符湘萍
3.P2P 网络中基于动态贝叶斯网络可信度量模型 [J], 郭磊;杨升;肖钟捷;程泽伟
4.一种在不可信操作系统内核中高效保护应用程序的方法 [J], 邓良;曾庆凯
5.基于信息流的多级动态可信度量模型 [J], 迮恺;陈丹;庄毅
因版权原因，仅展示原文概要，查看原文内容请购买。