• 综合
  • 标题
  • 关键词
  • 摘要
  • 学者
  • 期刊-刊名
  • 期刊-ISSN
  • 会议名称
搜索

作者:

张晓菲 (张晓菲.) | 许访 (许访.) | 沈昌祥 (沈昌祥.)

收录:

CQVIP PKU CSCD

摘要:

本文提出了一种基于可信状态的多级安全模型,它以BLP模型为基础,引入可信度和可信状态测量函数,利用可信计算平台的完整性测量、存储和报告功能,检测进程和被访问对象的可信状态,并针对不同类型访问对象,动态调节进程访问范围,提高模型的抗攻击能力.文中说明了模型的基本设计思想,形式化描述和可信状态转换过程,证明执行新规则后系统仍然处于安全状态.最后,本文还介绍了模型在操作系统内核的实施框架,及其实现性能分析.

关键词:

可信计算 安全操作系统 安全模型 访问控制

作者机构:

  • [ 1 ] 中国科学院研究生院信息安全国家重点实验室
  • [ 2 ] 海军装备研究院指挥自动化研究所
  • [ 3 ] 北京工业大学计算机学院 北京100049
  • [ 4 ] 北京100036
  • [ 5 ] 北京100022

通讯作者信息:

电子邮件地址:

查看成果更多字段

相关关键词:

相关文章:

来源 :

电子学报

年份: 2007

期: 08

页码: 1511-1515

被引次数:

WoS核心集被引频次: 0

SCOPUS被引频次:

ESI高被引论文在榜: 0 展开所有

万方被引频次:

中文被引频次:

近30日浏览量: 2

在线人数/总访问数:2107/2934590
地址:北京工业大学图书馆(北京市朝阳区平乐园100号 邮编:100124) 联系我们:010-67392185
版权所有:北京工业大学图书馆 站点建设与维护:北京爱琴海乐之技术有限公司