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

Research on Nontraditional Development Model of Secure Operating Systems

作　　者：石文昌[1] 孙玉芳[1] 

机构地区：[1]中国科学院软件研究所,北京100080

出　　处：《计算机科学》2003年第2期125-129,共5页Computer Science

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

摘　　要：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. e.the Common Criteria,research on nontraditional development model of secure operating systems is conducted in this paper.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. e. the Common Criteria, research on nontraditional development model of secure operating systems is conducted in this paper.

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

分 类 号：TP316.81[自动化与计算机技术—计算机软件与理论]