Abstract: 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

Key words: Secure operating system, Access control, Assurance, TCSEC