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.

关键词： Micro-kernel Structured protection Security operating system Security pipe model

作者: YONG ZHAO MENGMENG LI JING ZHAN

作者单位: College of Computer Science and Technology. Beijing University of Technology,Beijing 100124,China Ke College of Computer Science and Technology,Beijing University of Technology,Beijing 100124,China Key Lab of Network Security and Cryptology,Fujian Normal Universily. FuZhou 330007,China College of

会议类型: 国际会议

会议名称: 2011 3rd International Conference on Computer Technology and Development(2011第三届计算机技术与发展国际会议 ICCTD2011)

会议地点: 成都

会议语种:英文

页码: 755-759

在线出版日期: 2011-11-25（万方平台首次上网日期，不代表论文的发表时间）