改进增强型高安全等级操作系统SECIMOS的设计与实现  

The Design and Implementation of High-level Secure Operating System SECIMOS by the Way of Improvment/Enhancement

作　　者：袁春阳[1] 李琳[2] 石文昌[1] 梁洪亮[1] 贺也平[1] 

机构地区：[1]中国科学院软件研究所 [2]青岛大学信息工程学院,青岛266071

出　　处：《计算机科学》2007年第8期289-292,F0004,共5页Computer Science

基　　金：国家863高技术研究发展计划项目(2002AA141080);国家自然科学基金项目(No.60073022)和No.60373054);中国科学院研究生院创新资金的资助

摘　　要：本文介绍了以Linux系统为基础,通过改进/增强法来开发高安全等级操作系统SECIMOS,给出了系统的实现框架,全面论述了其中的核心技术,如访问控制、追责机制、保证方法等。分析了改进/增强法存在的问题,指出应探讨更适合今后开发最高安全等级操作系统的方法。SECIMOS, a high-level secure operating system based on Linux is developed by the way of improve/enhance. Its design and implementation is discussed in this paper. The system framework and key techniques, including access control, accountability and assurance methods, are given. The problems of the ＂improve/enhance＂ approach are analyzed. It indicates new suitable approach to develop the highest-level secure operating system should be researched further.

关 键 词：安全操作系统 访问控制 保证 TCSEC 

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