The Design and Implementation of High-level Secure Operating System SECIMOS by the Way of Improvment/Enhancement
改进增强型高安全等级操作系统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 assura