第1章 緒論
1.1 操作系統(tǒng)面臨的安全威脅
1.1.1 保密性威脅
1.1.2 完整性威脅
1.1.3 可用性威脅
1.2 安全操作系統(tǒng)研究的發(fā)展
1.3 操作系統(tǒng)安全的基本定義及術(shù)語
1.4 操作系統(tǒng)安全的基本概念
1.4.1 安全功能與安全保證
1.4.2 可信軟件和不可信軟件
1.4.3 主體與客體
1.4.4 安全策略和安全模型
1.4.5 參照監(jiān)視器
1.4.6 安全內(nèi)核
1.4.7 可信計(jì)算基
第2章 操作系統(tǒng)安全機(jī)制
2.1 標(biāo)識與鑒別機(jī)制
2.1.1 基本概念
2.1.2 密碼
2.1.3 生物鑒別方法
2.1.4 與鑒別有關(guān)的認(rèn)證機(jī)制
2.2 訪問控制
2.2.1 基本概念
2.2.2 自主訪問控制
2.2.3 強(qiáng)制訪問控制
2.2.4 基于角色的訪問控制
2.3 最小特權(quán)管理
2.4 可信通路
2.5 安全審計(jì)機(jī)制
2.5.1 審計(jì)事件
2.5.2 審計(jì)系統(tǒng)的實(shí)現(xiàn)
2.6 存儲保護(hù)、運(yùn)行保護(hù)和I/O保護(hù)
2.6.1 存儲保護(hù)
2.6.2 運(yùn)行保護(hù)
2.6.3 I/O保護(hù)
2.7 主流操作系統(tǒng)的安全機(jī)制
2.7.1 Linux操作系統(tǒng)的安全機(jī)制
2.7.2 Windows 2000操作系統(tǒng)的安全機(jī)制
第3章 操作系統(tǒng)安全模型
3.1 安全模型的概念及特點(diǎn)
3.2 安全模型的開發(fā)和驗(yàn)證
3.3 安全模型的分類
3.3.1 訪問控制模型
3.3.2 信息流模型
3.4 主要安全模型
3.4.1 Bell-LaPadula模型
3.4.2 Biba模型
3.4.3 Clark-Wilson模型
3.4.4 中國墻模型
第4章 操作系統(tǒng)安全體系結(jié)構(gòu)
4.1 概述
4.1.1 安全體系結(jié)構(gòu)的概念
4.1.2 安全體系結(jié)構(gòu)設(shè)計(jì)的基本原則
4.2 Flask體系結(jié)構(gòu)
4.2.1 Flask體系結(jié)構(gòu)的概念及特點(diǎn)
4.2.2 Flask體系結(jié)構(gòu)的組成
4.2.3 Flask體系結(jié)構(gòu)在Linux LSM中的應(yīng)用
第5章 主流操作系統(tǒng)的安全技術(shù)
5.1 Linux/UNIX安全技術(shù)
5.1.1 Linux身份驗(yàn)證
5.1.2 Linux訪問控制
5.1.3 Linux網(wǎng)絡(luò)服務(wù)安全
5.1.4 Linux備份/恢復(fù)
5.1.5 Linux 日志系統(tǒng)
5.1.6 Linux內(nèi)核安全技術(shù)
5.1.7 安全Linux服務(wù)器配置參考
5.2 Windows安全技術(shù)
5.2.1 Windows身份驗(yàn)證與訪問控制
5.2.2 Windows分布式安全服務(wù)
……
第6章 操作系統(tǒng)安全評測
第7章 安全操作系統(tǒng)設(shè)計(jì)
主要參考文獻(xiàn)