本书共分10章，全面介绍操作系统安全的基本理论与关键技术。主要包括：操作系统安全的基本概念和理论，介绍基本概念、安全机制、安全模型、安全体系结构等内容；操作系统安全的关键技术与方法，如形式化规范与验证、隐蔽通道的分析与处理、安全操作系统设计等；操作系统安全评测；安全操作系统的网络扩展。 本书内容丰富，题材新颖，深入浅出，特点鲜明，理论结合实际，包括操作系统安全研究的最新成果，也包括作者在此领域长期潜心研究的科研成果。 本书可以作为计算机、通信、信息安全等专业的高年级本科生、硕士生和博士生的教材，也可以作为广大教学、科研和工程技术人员的参考书。