本书内容包括:操作系统安全的基本概念和理论(由基本概念,安全机制,安全模型,安全体系结构等章节构成),操作系统安全的关键技术与方法(如形式化规范与验证,隐蔽通道分析与处理,安全操作系统设计,操作系统安全评测和安全操作系统的网络扩展),可信计算与可信操作系统技术以及面向网络和云计算的新型操作系统发展趋势与安全性分析.