首页> 中文会议>中国科学院计算技术研究所第九届计算机科学与技术研究生学术讨论会 >一种面向标准评估的高保证安全操作系统开发方法

一种面向标准评估的高保证安全操作系统开发方法

页面导航

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

摘要

构造高保证的安全操作系统是信息安全研究领域的重要内容之一.目前通用标准(Common Criteria)提供了衡量安全操作系统安全性的流行准则.本文以开发安全操作系统SECIMOS的实践为基础,从安全目的出发,通过各类保证措施,提出了如何构建符合CC标准的高保证安全操作系统的方法.文中给出了CC标准的评估模型、评估过程,并分析了安全要求的产生.以SECIMOS系统为例,给出了该系统的实现框架,分析了安全功能与安全目的间的对应,以及为达到标准要求而在系统开发过程中使用的各种保证证据和保证措施.本文通过深入剖析通用标准中各个保证要求的内涵,为开发具有高保证要求的安全信息系统提供了理论指导和实现方法.

著录项

来源
《中国科学院计算技术研究所第九届计算机科学与技术研究生学术讨论会》|2006年|541-548|共8页
会议地点青岛
作者
袁春阳; 中国科学院研究生院; 贺也平; 石文昌; 梁洪亮; 商青华; 中国科学院研究生院;
展开▼
作者单位

中国科学院计算技术研究所;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类数据安全;
关键词
通用标准CC; 评估; 安全操作系统; 安全保证;

相似文献

中文文献
外文文献
专利

1. 一种新的面向对象系统分析和设计方法及其在信息系统开发中的应用 [J] . 韩晓莉 ,费翔林 . 小型微型计算机系统 . 2000,第002期
2. 一种新的系统开发方法：面向对象的分析与设计 [J] . 陈庆章 ,夏日 . 计算机时代 . 1994,第003期
3. 保证磁场定向坐标准确的一种实用自适应补偿控制方法 [J] . 张伯立 ,沈程智 . 控制理论与应用 . 1993,第005期
4. 一种面向高异质性极化SAR图像的等效视数非监督估计方法 [J] . 胡丁晟 ,仇晓兰 ,Stian N.Anfinsen . 电子与信息学报 . 2017,第010期
5. 面向民航信息系统的安全评估标准化方法 [J] . 韩燕征 ,张旭高 ,仇晓锐 . 中国民航大学学报 . 2021,第003期
6. 基于CC标准的安全操作系统评估方法研究 [C] . 王建兵 . 第十七次全国计算机安全学术交流会暨电子政务安全研讨会 . 2002
7. 一种面向安全操作系统的电子政务过程模型研究 [A] . 刘斌 . 2007

一种面向标准评估的高保证安全操作系统开发方法

摘要

著录项

相似文献

相关主题

期刊订阅