基于信息流的可信操作系统度量架构

	基于信息流的可信操作系统度量架构
	胡浩 ; 张敏 ; 冯登国
刊名	中国科学院研究生院学报
	2009
卷号	26 期号:4 页码:522-529
关键词	操作系统完整性信息流可信计算完整性度量
ISSN号	1002-1175
其他题名	information-flow-based measurement architecture of trusted operating system
中文摘要	将信息流和可信计算技术结合,可以更好地保护操作系统完整性.但现有的可信计算度量机制存在动态性和效率方面的不足,而描述信息流的Biba完整性模型在应用时又存在单调性缺陷.本文将两者结合起来,基于Biba模型,以可信计算平台模块TPM为硬件信任根,引入信息流完整性,并提出了可信操作系统度量架构:BIFI.实验表明,BIFI不仅能很好地保护信息流完整性,而且对现有系统的改动很少,保证了效率.
收录类别	CSCD
语种	中文
CSCD记录号	CSCD:3542344
公开日期	2010-05-27
内容类型	期刊论文
源URL	[http://124.16.136.157/handle/311060/1968]
专题	软件研究所_信息安全国家重点实验室_期刊论文
推荐引用方式 GB/T 7714	胡浩,张敏,冯登国. 基于信息流的可信操作系统度量架构[J]. 中国科学院研究生院学报,2009,26(4):522-529.
APA	胡浩,张敏,&冯登国.(2009).基于信息流的可信操作系统度量架构.中国科学院研究生院学报,26(4),522-529.
MLA	胡浩,et al."基于信息流的可信操作系统度量架构".中国科学院研究生院学报 26.4(2009):522-529.