操作系統(tǒng)安全

第1章 導(dǎo)論
1.1 操作系統(tǒng)安全的發(fā)展歷程
1.2 操作系統(tǒng)的安全威脅
1.3 操作系統(tǒng)的功能與安全
1.3.1 操作系統(tǒng)的基本功能
1.3.2 操作系統(tǒng)的安全特性
1.3.3 操作系統(tǒng)功能與安全的關(guān)系
1.4 安全操作系統(tǒng)與可信計(jì)算基
1.4.1 安全操作系統(tǒng)
1.4.2 安全操作系統(tǒng)與可信計(jì)算基
1.5 相關(guān)基本概念與術(shù)語(yǔ)
小結(jié)
習(xí)題
第2章 操作系統(tǒng)安全機(jī)制
2.1 訪問(wèn)控制
2.1.1 自主訪問(wèn)控制
2.1.2 強(qiáng)制訪問(wèn)控制
2.1.3 基于角色的訪問(wèn)控制
2.2 主體標(biāo)識(shí)與鑒別
2.2.1 基本概念
2.2.2 傳統(tǒng)標(biāo)識(shí)與鑒別技術(shù)
2.2.3 生物標(biāo)識(shí)與鑒別技術(shù)
2.3 安全審計(jì)
2.3.1 安全審計(jì)的概念
2.3.2 審計(jì)機(jī)制
2.4 內(nèi)存存取保護(hù)
2.5 文件系統(tǒng)保護(hù)
2.6 信息通路保護(hù)機(jī)制
2.6.1 正常信道的保護(hù)
2.6.2 隱蔽信道的發(fā)現(xiàn)和處理
2.7 最小特權(quán)管理
2.7.1 基本概念
2.7.2 實(shí)現(xiàn)機(jī)制
2.8 安全配置
小結(jié)
習(xí)題
第3章 操作系統(tǒng)安全模型
3.1 安全模型的概念與特征
3.2 安全模型的分類(lèi)
3.2.1 信息流模型
3.2.2 訪問(wèn)控制模型
3.3 典型安全模型
3.3.1 Bell-LaPadula模型
3.3.2 Biba模型
3.3.3 Clark-Wilson完整性模型
3.3.4 中國(guó)墻模型
3.3.5 DTE模型
3.3.6 無(wú)干擾模型
小結(jié)
習(xí)題
第4章 操作系統(tǒng)安全體系結(jié)構(gòu)
4.1 安全體系結(jié)構(gòu)概述
4.1.1 安全體系結(jié)構(gòu)的含義
4.1.2 安全體系結(jié)構(gòu)的層次
4.2 安全體系結(jié)構(gòu)的設(shè)計(jì)原則
4.3 典型安全體系結(jié)構(gòu)
4.3.1 權(quán)能(Capability)體系結(jié)構(gòu)
4.3.2 Flask體系結(jié)構(gòu)
小結(jié)
習(xí)題
第5章 操作系統(tǒng)安全設(shè)計(jì)與驗(yàn)證
5.1 形式化技術(shù)基本原理
5.1.1 形式化方法
5.1.2 形式化驗(yàn)證技術(shù)
5.2 操作系統(tǒng)安全的形式化設(shè)計(jì)
5.2.1 設(shè)計(jì)原則
5.2.2 基本方法
5.3 操作系統(tǒng)安全的形式化驗(yàn)證
5.3.1 主要驗(yàn)證技術(shù)
5.3.2 典型驗(yàn)證體系結(jié)構(gòu)
5.4 操作系統(tǒng)安全形式化設(shè)計(jì)與驗(yàn)證實(shí)例
5.4.1 ASOS項(xiàng)目簡(jiǎn)介
5.4.2 ASOS安全模型
5.4.3 形式化頂層規(guī)范
5.4.4 保障目標(biāo)及技術(shù)路線
5.4.5 具體驗(yàn)證過(guò)程
小結(jié)
習(xí)題
第6章 操作系統(tǒng)安全評(píng)測(cè)
6.1 概述
6.1.1 操作系統(tǒng)安全級(jí)別
6.1.2 安全評(píng)測(cè)發(fā)展過(guò)程
6.2 操作系統(tǒng)漏洞掃描與安全評(píng)測(cè)
6.2.1 操作系統(tǒng)漏洞掃描
6.2.2 操作系統(tǒng)安全評(píng)測(cè)
6.3 安全評(píng)測(cè)準(zhǔn)則
6.3.1 美國(guó)橘皮書(shū)(TCSEC)
6.3.2 歐洲安全評(píng)價(jià)標(biāo)準(zhǔn)(ITSEC)
6.3.3 加拿大安全評(píng)測(cè)標(biāo)準(zhǔn)(CTCPEC)
6.3.4 國(guó)際通用安全評(píng)價(jià)準(zhǔn)則(CC)
6.3.5 中國(guó)推薦標(biāo)準(zhǔn)GB/T18336—2001
6.3.6 以上幾種標(biāo)準(zhǔn)的比較
6.4 安全評(píng)測(cè)技術(shù)和方法
6.4.1 漏洞描述語(yǔ)言
6.4.2 評(píng)測(cè)方法
6.4.3 評(píng)測(cè)技術(shù)
小結(jié)
習(xí)題
第7章 Windows操作系統(tǒng)安全技術(shù)
7.1 身份驗(yàn)證
7.1.1 基本概念
7.1.2 賬戶安全管理
7.1.3 Windows身份驗(yàn)證
7.2 訪問(wèn)的安全控制
7.2.1 基本概念
7.2.2 Windows安全子系統(tǒng)
7.2.3 訪問(wèn)控制
7.3 注冊(cè)表安全
7.3.1 注冊(cè)表的鍵及其鍵值
7.3.2 注冊(cè)表的結(jié)構(gòu)
7.3.3 注冊(cè)表的安全管理
7.4 域管理機(jī)制
7.5 文件系統(tǒng)安全
7.5.1 文件系統(tǒng)類(lèi)型
7.5.2 文件系統(tǒng)的安全
7.6 安全設(shè)置
7.7 日志
7.8 服務(wù)包與補(bǔ)丁包更新
7.9 Windows 7安全機(jī)制十大革新
小結(jié)
習(xí)題
第8章 UNIX/Linux操作系統(tǒng)安全技術(shù)
8.1 賬戶安全管理
8.1.1 root賬戶的管理
8.1.2 用戶組的管理
8.1.3 PAM認(rèn)證機(jī)制
8.2 口令安全與訪問(wèn)控制
8.2.1 用戶口令技術(shù)
8.2.2 影子口令機(jī)制
8.2.3 一次性口令機(jī)制
8.2.4 訪問(wèn)控制機(jī)制
8.3 文件系統(tǒng)安全
8.3.1 文件和目錄的權(quán)限
8.3.2 文件系統(tǒng)完整性檢查
8.3.3 NFS簡(jiǎn)介及相關(guān)安全性問(wèn)題
8.4 日志查看與分析
8.4.1 日志查看技術(shù)
8.4.2 日志分析技術(shù)
8.5 網(wǎng)絡(luò)服務(wù)安全
8.5.I UNIX系統(tǒng)之間的安全通信
8.5.2 Kerberos認(rèn)證機(jī)制
8.5.3 SSH協(xié)議
8.5.4 LVS系統(tǒng)
8.6 備份與恢復(fù)
8.6.1 備份
8.6.2 恢復(fù)
小結(jié)
習(xí)題
參考文獻(xiàn)