高级检索
检索提示:高级检索多个条件检索时是按照顺序运算的:如 A或B与C 即:(A或B)与C
[期刊论文]
基于可信状态的多级安全模型及其应用研究
作者:
收录:
摘要:
本文提出了一种基于可信状态的多级安全模型,它以BLP模型为基础,引入可信度和可信状态测量函数,利用可信计算平台的完整性测量、存储和报告功能,检测进程和被访问对象的可信状态,并针对不同类型访问对象,动态调节进程访问范围,提高模型的抗攻击能力.文中说明了模型的基本设计思想,形式化描述和可信状态转换过程,证明执行新规则后系统仍然处于安全状态.最后,本文还介绍了模型在操作系统内核的实施框架,及其实现性能分析.
关键词:
作者机构:
通讯作者信息:
电子邮件地址:
相关关键词:
相关文章:
2007,计算机安全
2006,计算机系统应用
2011,山东大学学报:理学版
2012,北京工业大学学报
来源 :
电子学报
年份: 2007
期: 08
页码: 1511-1515
被引次数:
WoS核心集被引频次: 0
SCOPUS被引频次:
ESI高被引论文在榜: 0 展开所有
万方被引频次:
中文被引频次:
近30日浏览量: 2
归属院系:
信息学部 计算机学院
全文获取
外部链接: