操作系统安全（第2版）

✍ Scribed by 卿斯汉、沈晴霓、刘文清

• Publisher: 清华大学出版社
• Year: 2011
• Tongue: Chinese
• Leaves: 365
• Edition: 2
• Category: Library

✦ Synopsis

《操作系统安全(第2版)》是一部关于操作系统安全的教材，第2版在原书的基础上进行了修订与补充，增加了第11章“可信计算与可信操作系统”与第12章“新型操作系统发展与展望”。全书共分12章，全面介绍操作系统安全的基本理论、关键技术和发展趋势。主要内容包括操作系统安全的基本概念和理论(由基本概念、安全机制、安全模型、安全体系结构等章节构成)，操作系统安全的关键技术与方法(如形式化规范与验证、隐蔽通道分析与处理、安全操作系统设计、操作系统安全评测和安全操作系统的网络扩展)，可信计算与可信操作系统技术以及面向网络和云计算的新型操作系统发展趋势与安全性分析。

《操作系统安全(第2版)》内容丰富，题材新颖，深入浅出，特点鲜明，理论结合实际，包括操作系统安全研究的最新成果，也包括作者在此研究领域长期潜心研究的科研成果。

《操作系统安全(第2版)》可以作为计算机、软件工程、通信、信息安全等专业的高年级本科生、硕士生和博士生的教材，也可以作为广大从事相关专业的教学、科研和工程技术人员的参考书。

✦ Table of Contents

封面
扉页
内容简介
版权页
编审委员会
出版说明
前言
目录
第1章　引言
1.1　操作系统面临安全威胁
1.2　操作系统安全和信息系统安全
1.3　安全操作系统的国内外研究现状
1.4　相关术语
1.5　本书的组织和编排
1.6　本章小结
1.7　习题
第2章　基本概念
2.1　系统边界与安全周界
2.2　安全功能与安全保证
2.3　可信软件与不可信软件
2.4　主体与客体
2.5　安全策略和安全模型
2.6　访问控制思想
2.7　可信计算基
2.8　本章小结
2.9　习题
第3章　安全机制
3.1　硬件安全机制
3.2　标识与鉴别
3.3 访问控制
3.4　最小特权管理
3.5　可信路径
3.6　安全审计
3.7　UNIX/Linux的安全机制
3.8　本章小结
3.9　习题
第4章　安全模型
4.1　安全模型的作用和特点
4.2　形式化安全模型设计
4.3　状态机模型原理
4.4　机密性安全模型
4.5　完整性安全模型
4.6　多策略安全模型
4.7　安全性分析模型
4.8　本章小结
4.9　习题
第5章　安全体系结构
5.1　安全体系结构概念
5.2　权能（capability）体系
5.3　Flask体系
5.4　LSM安全框架
5.5　本章小结
5.6　习题
第6章　形式化规范与验证
6.1　形式化安全验证技术原理
6.2　形式化安全验证系统结构
6.3　一个形式化验证技术在安全操作系统内核设计中的应用实例
6.4　本章小结
6.5　习题
第7章　隐蔽通道分析与处理
7.1　隐蔽通道的概念
7.2　隐蔽通道的标识技术
7.3　隐蔽通道的带宽计算技术
7.4　处理技术
7.5　本章小结
7.6　习题
第8章　安全操作系统设计
8.1　设计原则与一般结构
8.2　开发方法
8.3　一般开发过程
8.4　应注意的问题
8.5　安胜安全操作系统设计
8.6　经典SELinux安全设计
8.7　本章小结
8.8　习题
第9章　操作系统安全评测
9.1　操作系统安全性保证手段——从漏洞扫描评估到系统性安全性评测
9.2　操作系统安全评测方法
9.3　安全评测准则
9.4　本章小结
9.5　习题
第10章　安全操作系统的网络扩展
10.1　网络体系结构
10.2　网络安全威胁和安全服务
10.3　分布式安全网络系统
10.4　安全网络系统的将来发展趋势
10.5　本章小结
10.6　习题
第11章　可信计算与可信操作系统
11.1　可信计算概述
11.2　可信平台模块TPM与可信加密模块TCM
11.3　可信平台技术
11.4　基于TPM/TCM的可信操作系统技术
11.5　本章小结
11.6　习题
第12章　新型操作系统发展与展望
12.1　PC操作系统的发展与安全
12.2　Web OS的发展与安全
12.3　未来云操作系统与安全
12.4　本章小结
12.5　习题
正文结束
参考文献