本文介绍了安全操作系统研究的国内外发展现状,阐述了安全操作系统的基本概念、相关理论及国内外安全操作系统的相关标准,详细的论述了高安全级别Linux操作系统若干关键技术设计及实现。　　 论文工作是公安部发展计划面上项目《等级化信息系统安全建设实验环境与检验平台——四级安全应用平台》中的一部分,项目设计并实现了通过三级测评,功能达到四级的分布式安全操作系统。其中Linux节点子系统达到了关国家标准《计算机信息系统安全等级保护操作系统技术要求》中第四级的要求,实现了对安全应用子系统的支撑。本文通过对高安全级别Linux系统若干关键技术研究,实现了Linux节点子系统的一些重要安全功能。　　 本文的主要工作是在对分布式安全操作系统的组成架构进行深入分析的基础上,基于可信计算、用户状态机和安全操作系统的相关理论与技术,实现了Linux节点子系统在起动、登陆审计环节中的关键功能,并增强了访问控制机制,提高安全性和运行效率。　　 针对安全操作系统中安全模块使用内存的特点,设计实现了一种专用的内存集中管理方法,提高了内存中数据的安全性,并通过动态的内配算法提高了系统运行效率。　　 对多处理器环境下的软件设计及多处理器环境与单处理器环境兼容的问题进行了研究。采用将对称多处理模式与混合多处理模式相结合的方法,提出了一种能够在多处理器环境下兼容单处理器环境中开发的程序的进程调度方法。