RESEARCH ON CONSTRUCTION OF STRUCTURED PROTECTION LEVEL SECURE OPERATING SYSTEM BASED ON MICRO-KERNEL

摘要

To achieve classified protection requirements of important information system and study high-level security operating system required in GB17859, this paper focus on the structured protection of the security operating system for high-level, based on the accumulation of existing security operating system, first with the current security features of the operating system architecture, research a new operating system security architecture based on micro-kernel and a security pipe model which built trusted interaction channels between entities in operating system, formed the theoretical basis and scientific support to the classified protection for important information system and the project for high-level security operating system.