沈晴霓、卿斯汉编著的《操作系统安全设计》融入了我们近七年来在北京大学软件与微电子学院的教学实践经验，以及近年来我们在可信计算、系统虚拟化、云安全技术等相关领域的最新科研实践成果。本书旨在通过对计算机、信息安全等相关学科的高校学生，特别是本科生的培养，进一步加强我国从事信息基础设施相关领域的研究和实践能力，提高我国在基础软件安全方面的国际竞争力。

沈晴霓、卿斯汉编著的《操作系统安全设计》系统地介绍了经典的操作系统安全设计的相关理论和实践技术，并融入了最新的可信计算技术、系统虚拟化技术，以及未来的云操作系统进展及其安全实践。

本书内容由浅入深，分为“基础篇”、“理论篇”、“实践篇”和“趋势篇”四大部分。“基础篇”重点介绍操作系统基本安全概念、通用安全需求、安全标准和必要的安全机制等。“理论篇”重点介绍操作系统安全建模理论、安全体系结构设计思想，以及安全保证技术和测评方法等。“实践篇”重点介绍安全操作系统设计与实现技术的案例，以及基于安全操作系统的应用系统安全案例。“趋势篇”重点介绍最新的可信计算技术、系统虚拟化技术，以及操作系统进展及其安全实践。读者可以依据不同层面的需求灵活地选用相关部分的内容进行阅读。本书的每一章后面都附有习题和参考文献，便于读者对各章的内容进行思考和深入理解。

《操作系统安全设计》重点面向计算机、软件工程、信息安全等相关专业的高等院校本科生，也适用于高等院校和科研机构相关专业的硕士生和博士生，还可以作为相关学科领域科研人员、工程技术人员的参考用书。

编委会

丛书序

前言

教学建议

第一部分　基础篇

第1章　引言

 1.1　操作系统安全威胁与安全需求

1.1.1　安全威胁类型

1.1.2　通用安全需求

 1.2　操作系统安全是信息系统安全的基础

 1.3　国内外安全操作系统发展历史与现状

1.3.1　国外安全操作系统发展历史与现状

1.3.2　国内安全操作系统发展历史与现状

 1.4　计算机系统安全等级划分与评测标准

1.4.1　标准发展概况

1.4.2　TCSEC准则

1.4.3　CC准则

 1.5　相关术语

 1.6　本章小结

 习题1

 参考文献

第2章　基本概念

第3章　操作系统基本安全机制

第4章　通用操作系统安全机制

第二部分　理论篇

第5章　安全策略与安全模型

第6章　安全体系结构

第7章　安全保证技术

第三部分　实践篇

第8章　安全操作系统设计与实现技术

第9章　安全操作系统的应用

第四部分　趋势篇

第10章　可信计算技术

第11章　系统虚拟化技术

第12章　操作系统进展及其安全实践

参考文献