安全操作系统非传统开发模式研究

作     者：石文昌 孙玉芳 SHI Wen-Chang SUN Yu-Fang (Institute of Software,Chinese Academy of Sciences,Beijing 100080)

作者机构：中国科学院软件研究所北京100080 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2003年第30卷第2期

页      面：125-129页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金(60073022) 国家863高科技项目(863-306-ZD12-14-2) 中国科学院知识创新工程项目(KGCX1-09) 

主　　题：安全操作系统 非传统开发模式 RS-Linux 计算机安全评价标准 

摘      要：The TCSEC-based traditional development model of secure operating systems is exhibiting more and more obviously inability in the rapidly changing world of computer applications. With an experiment of building a secure operating system in accordance with the philosophy of the international standard for computer security evaluation,i. *** Common Criteria,research on nontraditional development model of secure operating systems is conducted in this paper.