安全操作系统原理与技术

第1章 绪论

1. 1 计算机安全事件

1. 2 数字威胁

1. 2. 1 安全威胁的根源

1. 2. 2 软件脆弱性报告

1. 3 计算机安全

1. 4 操作系统安全性的意义

1. 4. 1 操作系统的基础安全特性

1. 4. 2 操作系统安全性的基础作用

1. 5 相关术语

思考题

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

2. 1 Windows操作系统安全机制

2. 1. 1 WindowsNT／2000／XP系统结构

2. 1. 2 WindowsNT／2000／XP安全模型

2. 1. 3 WindowsNT／2000／XP系统登录过程

2. 1. 4 WindowsNT／2000／XP资源访问

2. 1. 5 WindowsNT／2000／XP安全审计

2. 2 Linux操作系统的安全机制

2. 2. 1 身份标识与鉴别

2. 2. 2 自主访问控制

2. 2. 3 特权管理

2. 2. 4 安全审计

2. 2. 5 安全注意键

2. 2. 6 其他安全机制

思考题

第3章 安全操作系统研究的发展

3. 1 引言

3. 2 发展阶段划分方法

3. 3 奠基时期

3. 3. 1 萌芽与访问控制抽象

3. 3. 2 引用监控器和安全核

3. 3. 3 隐蔽信道与BLP模型

3. 3. 4 保护机制结构与设计原则

3. 3. 5 操作系统保护理论

3. 3. 6 系统设计和开发

3. 4 食谱时期

3. 4. 1 第一个计算机安全评价标准

3. 4. 2 LINUSIV系统的开发

3. 4. 3 安全XENIX系统的开发

3. 4. 4 System V／MLS系统的开发

3. 4. 5 安全TUNIS系统的开发

3. 4. 6 ASOS系统的开发

3. 5 多策略时期

3. 5. 1 国防部目标安全体系结构

3. 5. 2 多策略环境中的安全策略支持范型

3. 5. 3 基于Mach的DTOS安全操作系统

3. 6 动态策略时期

3. 6. 1 基于Fluke的Flask安全操作系统

3. 6. 2 基于Linux的SE-Linux安全操作系统

3. 7 中国的安全操作系统研究开发工作

思考题

第4章 安全需求与安全策略

4. 1 安全需求

4. 1. 1 信息的机密性需求

4. 1. 2 信息的完整性需求

4. 1. 3 信息的可记帐性需求

4. 1. 4 信息的可用性需求

4. 2 安全策略

4. 2. 1 定义

4. 2. 2 策略语言

4. 2. 3 安全策略的分类

4. 3 访问控制策略

4. 3. 1 访问控制属性

4. 3. 2 自主访问控制策略

4. 3. 3 强制访问控制策略

4. 4 访问支持策略

4. 4. 1 标识与鉴别

4. 4. 2 可记帐性

4. 4. 3 确切保证

4. 4. 4 连续保护

4. 4. 5 客体重用

4. 4. 6 隐蔽信道

4. 5 DTE策略

4. 5. 1 域的划分

4. 5. 2 型的划分

4. 5. 3 赋型规则

思考题

第5章 操作系统安全体系结构

5. 1 安全体系结构的含义及类型

5. 2 计算机系统的安全体系结构设计的基本原则

5. 3 Flask体系

5. 3. 1 背景介绍

5. 3. 2 策略灵活性分析

5. 3. 3 Flask体系的设计与实现

5. 3. 4 特殊微内核特征

5. 3. 5 支持吊销机制

5. 3. 6 安全服务器

5. 3. 7 其他Flask对象管理器

5. 3. 8 LSM访问控制框架

5. 3. 9 Flask和LSM的结合

5. 4 权能体系

5. 4. 1 权能的一般概念

5. 4. 2 对权能的控制及实现方法

5. 4. 3 权能系统的局限性

思考题

第6章 形式化方法与安全模型

6. 1 形式化方法

6. 2 形式化安全模型

6. 3 基于访问控制矩阵的安全模型

6. 3. 1 Lampson访问控制矩阵模型

6. 3. 2 Graham-Denning模型

6. 3. 3 Harrison-Ruzzo-Ullrnan模型

6. 4 基于格的安全模型

6. 4. 1 Bell-LaPadula模型介绍

6. 4. 2 D. Denning信息流模型

6. 4. 3 Biba模型

6. 5 其他安全模型

6. 5. 1 Cark-Wilson模型

6. 5. 2 Chinese-Wall模型

6. 5. 3 RBAC模型

思考题

第7章 安全操作系统的设计与实现

7. 1 安全操作系统的设计原理

7. 2 安全操作系统的设计

7. 2. 1 隔离

7. 2. 2 安全内核

7. 2. 3 分层设计

7. 2. 4 环结构

7. 3 安全操作系统的开发

7. 3. 1 安全操作系统开发方法

7. 3. 2 安全操作系统开发过程

7. 3. 3 安全操作系统的开发

7. 4 安全操作系统关键技术的实现

7. 4. 1 自主访问控制的实现

7. 4. 2 强制访问控制的实现

7. 4. 3 最小特权的实现

7. 4. 4 安全审计的实现

7. 4. 5 隐蔽信道分析

思考题

第8章 国外知名安全操作系统介绍

8. 1 SE-LINUX介绍

8. 1. 1 SE-Linux体系结构简介

8. 1. 2 SE-Linux中安全性标签的实现

8. 1. 3 SE-Linux中的访问权限检查

8. 1. 4 SE-Linux系统中的各子系统安全机制

8. 2 EROS介绍

8. 2. 1 EROS的体系结构

8. 2. 2 能力与强制访问控制

8. 2. 3 EROS内核

8. 2. 4 EROS实现

8. 2. 5 EROS系统服务

8. 3 DG／UXB2介绍

8. 3. 1 DG／UXB2的安全体系结构

8. 3. 2 DG／UXB2的安全特征

思考题

第9章 信息系统安全评估标准介绍

9. 1 评估标准发展的趋势

9. 2 评估标准的历史回顾

9. 2. 1 信息安全标准简介

9. 2. 2 不同标准的评估情况

9. 2. 3 实施评估的国家分布

9. 3 计算机信息系统安全保护等级划分准则

9. 3. 1 第一级 用户自主保护级

9. 3. 2 第二级 系统审计保护级

9. 3. 3 第三级 安全标记保护级

9. 3. 4 第四级 结构化保护级

9. 3. 5 第五级 访问验证保护级

9. 4 信息技术安全性评估通用准则 CC

9. 4. 1 CC结构

9. 4. 2 CC的适用范围

9. 4. 3 CC的目标读者

9. 4. 4 CC的文档组织

9. 4. 5 CC中的关键概念描述

9. 4. 6 CC的安全功能类

9. 4. 7 CC的安全保证类

9. 4. 8 CC的安全保证级别

思考题

第10章 安全操作系统应用场景

10. 1 安全操作系统应用

10. 2 安全操作系统应用场景之一：对堆栈溢出攻击的防范

10. 2. 1 什么是堆栈溢出攻击

10. 2. 2 堆栈溢出攻击的原理

10. 3 安全操作系统应用场景之二：对口令攻击的防范

10. 3. 1 口令攻击的原理

10. 3. 2 口令攻击的方法

10. 3. 3 安全操作系统对口令攻击的防范

10. 4 安全操作系统应用场景之三：对计算机病毒的防范

10. 4. 1 计算机病毒的定义

10. 4. 2 计算机病毒的历史

10. 4. 3 计算机病毒的分类

10. 4. 4 计算机反病毒技术

10. 4. 5 安全操作系统对计算机病毒的防范

10. 5 安全操作系统应用场景之四：对拒绝服务攻击的防范

10. 5. 1 拒绝服务攻击的定义

10. 5. 2 拒绝服务攻击的分类

10. 5. 3 从DOS到DDoS

10. 5. 4 安全操作系统对拒绝服务攻击的防范

思考题

主要参考文献