基于可信状态的多级安全模型及其应用研究

张晓菲; 许访; 沈昌祥

首页> 中文期刊> 《电子学报》 >基于可信状态的多级安全模型及其应用研究

基于可信状态的多级安全模型及其应用研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《电子学报》 |2007年第8期|1511-1515|共5页
作者
张晓菲; 许访; 沈昌祥;
展开▼
作者单位

中国科学院研究生院信息安全国家重点实验室,北京,100049;

海军装备研究院指挥自动化研究所,北京,100036;

北京工业大学计算机学院,北京,100022;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TN309;
关键词
安全操作系统; 可信计算; 安全模型; 访问控制;

相似文献

中文文献
外文文献
专利

1. 基于可信计算的多级安全模型 [J] . 杨蓓 ,吴振强 ,杨小勃 . 计算机工程与应用 . 2011,第027期
2. 一种具有可信度特征的多级安全模型 [J] . 谭智勇 ,刘铎 ,司天歌 . 电子学报 . 2008,第008期
3. 一个支持可信主体特权最小化的多级安全模型 [J] . 武延军 ,梁洪亮 ,赵琛 . 软件学报 . 2007,第003期
4. 基于可信级别的多级安全策略及其状态机模型 [J] . 谢钧 ,许峰 ,黄皓 . 软件学报 . 2004,第011期
5. 基于可信安全模型的可信计算机平台密钥管理 [J] . 李权 . 电子世界 . 2012,第012期
6. 基于动态可信度的多级安全模型 [C] . 池亚平 ,樊　洁 ,魏占祯 . 第二十一届全国信息保密学术会议(IS2011) . 2011
7. 基于可信计算平台的多级安全模型的研究和实现 [A] . 汤伟 . 2009

基于可信状态的多级安全模型及其应用研究

摘要

著录项

相似文献

相关主题

期刊订阅