高等级安全操作系统的设计
文献类型：期刊论文
| 作者 | 卿斯汉 ; 沈昌祥 |
| 刊名 | 中国科学E辑
 |
| 出版日期 | 2007 |
| 卷号 | 37期号:2页码:238-253 |
| 关键词 | 高等级安全操作系统 体系结构 安全模型 隐蔽通道分析 高等级 安全操作系统 系统设计 搜索方法 设计原则 理论 控制模型 开发实践 计算环境 基础 分析方法 策略模型 标识 安全威胁 安全事件 因特网 新方法 |
| ISSN号 | 1006-9275 |
| 中文摘要 | 众多因特网安全事件的发生表明, 为了对抗现代计算环境中的安全威胁, 来自安全操作系统的支持是必不可少的. 基于国内外相关标准的要求, 结合安胜高等级安全操作系统v4.0 (以下简称为安胜OS)的设计与开发实践, 讨论高等级安全操作系统设计中的3个关键问题: 安全体系结构、安全模型与隐蔽通道分析. 对安全体系结构与3种基本的安全策略模型: 机密性模型、完整性模型和特权控制模型的设计原则分别进行了阐述, 提出了新的安全体系结构与3个新的安全模型, 分别介绍它们的主要特色, 以及它们在安胜OS中的实现. 隐蔽通 |
| 语种 | 中文 |
| 公开日期 | 2011-07-01 |
| 源URL | [http://124.16.136.157/handle/311060/11264]  |
| 专题 | 软件研究所_基础软件国家工程研究中心_期刊论文 |
| 推荐引用方式 GB/T 7714 | 卿斯汉,沈昌祥. 高等级安全操作系统的设计[J]. 中国科学E辑,2007,37(2):238-253. |
| APA | 卿斯汉,&沈昌祥.(2007).高等级安全操作系统的设计.中国科学E辑,37(2),238-253. |
| MLA | 卿斯汉,et al."高等级安全操作系统的设计".中国科学E辑 37.2(2007):238-253. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。