Institutional Repository
| 高等级安全操作系统的设计 | |
| 卿斯汉; 沈昌祥 | |
| 2007 | |
| Source | 中国科学E辑
 |
| ISSN | 1006-9275 |
| Volume | 37Issue:2Pages:238-253 |
| English Abstract | 众多因特网安全事件的发生表明, 为了对抗现代计算环境中的安全威胁, 来自安全操作系统的支持是必不可少的. 基于国内外相关标准的要求, 结合安胜高等级安全操作系统v4.0 (以下简称为安胜OS)的设计与开发实践, 讨论高等级安全操作系统设计中的3个关键问题: 安全体系结构、安全模型与隐蔽通道分析. 对安全体系结构与3种基本的安全策略模型: 机密性模型、完整性模型和特权控制模型的设计原则分别进行了阐述, 提出了新的安全体系结构与3个新的安全模型, 分别介绍它们的主要特色, 以及它们在安胜OS中的实现. 隐蔽通 |
| Keyword | 高等级安全操作系统 体系结构 安全模型 隐蔽通道分析 高等级 安全操作系统 系统设计 搜索方法 设计原则 理论 控制模型 开发实践 计算环境 基础 分析方法 策略模型 标识 安全威胁 安全事件 因特网 新方法 |
| Department | 中国科学院软件研究所,北京,100080;北京大学软件与微电子学院,北京,102600;海军计算技术研究所,北京,100841 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/11264 |
| Collection | 基础软件国家工程研究中心 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 高等级安全操作系统的设计.pdf（212KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment