基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
将信息流和可信计算技术结合,可以更好地保护操作系统完整性.但现有的可信计算度量机制存在动态性和效率方面的不足,而描述信息流的Biba完整性模型在应用时又存在单调性缺陷.本文将两者结合起来,基于Biba模型,以可信计算平台模块TPM为硬件信任根,引入信息流完整性,并提出了可信操作系统度量架构:BIFI.实验表明,BIFI不仅能很好地保护信息流完整性,而且对现有系统的改动很少,保证了效率.
推荐文章
可信操作系统研究
安全操作系统
可信操作系统
可信计算
基于信息流的多级动态可信度量模型
可信度量
信息流
非传递无干扰
访问控制
形式化描述
基于人工智能的高可信嵌入式操作系统设计
高可信
嵌入式操作系统
人工智能
系统设计
分区配置
系统测试
基于信息流分析的隐蔽通道分类与标志
隐蔽通道
信息流分析
安全操作系统设计
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于信息流的可信操作系统度量架构
来源期刊 中国科学院研究生院学报 学科 工学
关键词 操作系统完整性 信息流 可信计算 完整性度量
年,卷(期) 2009,(4) 所属期刊栏目 论文
研究方向 页码范围 522-529
页数 8页 分类号 TP309
字数 7890字 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 冯登国 中国科学院软件研究所信息安全国家重点实验室 243 6305 35.0 71.0
2 张敏 中国科学院软件研究所信息安全国家重点实验室 184 2770 26.0 48.0
4 胡浩 中国科学技术大学电子工程与信息科学系 10 69 5.0 8.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (2)
共引文献  (38)
参考文献  (3)
节点文献
引证文献  (12)
同被引文献  (12)
二级引证文献  (8)
2004(2)
  • 参考文献(0)
  • 二级参考文献(2)
2006(1)
  • 参考文献(1)
  • 二级参考文献(0)
2008(1)
  • 参考文献(1)
  • 二级参考文献(0)
2009(1)
  • 参考文献(1)
  • 二级参考文献(0)
2009(1)
  • 参考文献(1)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2010(5)
  • 引证文献(4)
  • 二级引证文献(1)
2011(3)
  • 引证文献(2)
  • 二级引证文献(1)
2012(4)
  • 引证文献(1)
  • 二级引证文献(3)
2013(3)
  • 引证文献(2)
  • 二级引证文献(1)
2015(1)
  • 引证文献(0)
  • 二级引证文献(1)
2016(2)
  • 引证文献(1)
  • 二级引证文献(1)
2017(1)
  • 引证文献(1)
  • 二级引证文献(0)
2018(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
操作系统完整性
信息流
可信计算
完整性度量
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
中国科学院大学学报
双月刊
2095-6134
10-1131/N
大16开
北京玉泉路19号(甲)
82-583
1984
chi
出版文献量(篇)
2247
总下载数(次)
2
总被引数(次)
15229
相关基金
国家科技支撑计划
英文译名:
官方网址:http://kjzc.jhgl.org/
项目类型:重大项目
学科类型:能源
国家高技术研究发展计划(863计划)
英文译名:The National High Technology Research and Development Program of China
官方网址:http://www.863.org.cn
项目类型:重点项目
学科类型:信息技术
论文1v1指导