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

doi:10.3724/SP.J.1087.2012.00953

CORC > 北京大学 > 信息科学技术学院

	操作系统内核的动态可信度量模型; Dynamic trusted measurement model of operating system kernel
	辛思远 ; 赵勇 ; 廖建华 ; 王婷
刊名	计算机应用
	2012
关键词	可信计算可信度量动态度量操作系统内核远程证明
DOI	10.3724/SP.J.1087.2012.00953
英文摘要	动态可信度量是可信计算的研究热点和难点,针对由操作系统内核动态性所引起的可信度量困难问题,提出一种操作系统内核的动态可信度量模型,使用动态度量变量描述和构建系统动态数据对象及其关系,对内核内存进行实时数据采集,采用语义约束描述内核动态数据的动态完整性,通过语义约束检查验证内核动态数据是否维持其动态完整性.给出了模型的动态度量性质分析与证明,模型能够有效地对操作系统内核的动态数据进行可信度量,识别对内核动态数据的非法篡改.; 中文核心期刊要目总览(PKU); 中国科技核心期刊(ISTIC); 中国科学引文数据库(CSCD); 0; 4; 953-956,967; 32
语种	中文
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/285946]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	辛思远,赵勇,廖建华,等. 操作系统内核的动态可信度量模型, Dynamic trusted measurement model of operating system kernel[J]. 计算机应用,2012.
APA	辛思远,赵勇,廖建华,&王婷.(2012).操作系统内核的动态可信度量模型.计算机应用.
MLA	辛思远,et al."操作系统内核的动态可信度量模型".计算机应用 (2012).