操作系統(tǒng)安全（第2版）

第1章 引言
1．1 操作系統(tǒng)面臨安全威脅
1．1．1 病毒和蠕蟲
1．1．2 邏輯炸彈
1．1．3 特洛伊木馬
1．1．4 天窗
1．1．5 隱蔽通道
1．2 操作系統(tǒng)安全和信息系統(tǒng)安全
1．3 安全操作系統(tǒng)的國內(nèi)外研究現(xiàn)狀
1．4 相關(guān)術(shù)語
1．5 《普通高等教育“十一五”國家級規(guī)劃教材·高等院校信息安全專業(yè)系列教材：操作系統(tǒng)安全（第2版）》的組織和編排
1．6 本章小結(jié)
1．7 習(xí)題
第2章 基本概念
2．1 系統(tǒng)邊界與安全周界
2．2 安全功能與安全保證
2．3 可信軟件與不可信軟件
2．4 主體與客體
2．5 安全策略和安全模型
2．6 訪問控制思想
2．6．1 訪問控制矩陣
2．6．2 引用監(jiān)控器
2．6．3 安全內(nèi)核
2．7 可信計算基
2．8 本章小結(jié)
2．9 習(xí)題
第3章 安全機(jī)制
3．1 硬件安全機(jī)制
3．1．1 存儲保護(hù)
3．1．2 運行保護(hù)
3．1．3 I／O保護(hù)
3．2 標(biāo)識與鑒別
3．2．1 基本概念
3．2．2 安全操作系統(tǒng)中的標(biāo)識與鑒別機(jī)制
3．2．3 與鑒別有關(guān)的認(rèn)證機(jī)制
3．2．4 口令管理
3．2．5 實現(xiàn)要點
3．3 訪問控制
3．3．1 自主訪問控制
3．3．2 強(qiáng)制訪問控制
3．4 最小特權(quán)管理
3．4．1 基本思想
3．4．2 POSIX權(quán)能機(jī)制
3．4．3 特權(quán)細(xì)分
3．4．4 一個最小特權(quán)管理機(jī)制的實現(xiàn)舉例
3．5 可信路徑
3．6 安全審計
3．6．1 審計的概念
3．6．2 審計事件
3．6．3 審計記錄和審計日志
3．6．4 一般操作系統(tǒng)審計的實現(xiàn)
3．7 UNIX／Linux的安全機(jī)制
3．7．1 標(biāo)識
3．7．2 鑒別
3．7．3 訪問控制
3．7．4 審計
3．7．5 密碼
3．7．6 網(wǎng)絡(luò)安全性
3．7．7 網(wǎng)絡(luò)監(jiān)控與入侵檢測
3．7．8 備份／恢復(fù)
3．8 本章小結(jié)
3．9 習(xí)題
第4章 安全模型
第5章 安全體系結(jié)構(gòu)
第6章 形式化規(guī)范與驗證
第7章 隱蔽通道分析與處理
第8章 安全操作系統(tǒng)設(shè)計
第9章 操作系統(tǒng)安全評測
第10章 安全操作系統(tǒng)的網(wǎng)絡(luò)擴(kuò)展
第11章 可信計算與可信操作系統(tǒng)
第12章 新型操作系統(tǒng)發(fā)展與展望
參考文獻(xiàn)