首页> 中文会议>中国计算机学会信息保密专业委员会2005年学术年会 >基于特殊可信主体的操作系统安全模型

基于特殊可信主体的操作系统安全模型

页面导航

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

摘要

机密性和完整性是操作系统安全的两个重要特性,BLP模型只解决了机密性的问题,而Biba模型只解决了完整性的问题,其它模型也都类似,无法使二者同时兼顾.本文基于一个特殊可信主体,提出了一种新的操作系统安全模型,融合了以上两种模型,可以同时保持机密性与完整性.

著录项

来源
《中国计算机学会信息保密专业委员会2005年学术年会》|2005年|223-231|共9页
会议地点四川绵阳
作者
李益发; 姜放; 马涛; 沈昌祥;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类数据安全;
关键词
操作系统; 安全模型; 形式化证明; 可信主体;

相似文献

中文文献
外文文献
专利

1. 可信计算的操作系统安全模型及实现方案 [J] . 潘大庆 ,张爱科 ,谢翠兰 . 柳州职业技术学院学报 . 2011,第004期
2. 基于可信安全模型的可信计算机平台密钥管理 [J] . 李权 . 电子世界 . 2012,第012期
3. 一个支持可信主体特权最小化的多级安全模型 [J] . 武延军 ,梁洪亮 ,赵琛 . 软件学报 . 2007,第003期
4. 基于可信计算的云安全模型分析与设计 [J] . 尹文华 . 计算机光盘软件与应用 . 2015,第003期
5. 多租户环境下基于可信第三方的云安全模型研究 [J] . 王佩雪 ,周华强 . 计算机科学 . 2014,第0z1期
6. 基于动态可信度的多级安全模型 [C] . 池亚平 ,樊　洁 ,魏占祯 . 第二十一届全国信息保密学术会议(IS2011) . 2011
7. 操作系统启动可信、文件系统可信和应用可信 [A] . 胡中庭 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号