操作系統(tǒng)訪問(wèn)控制研究

前言
第1章 緒論
1.1 現(xiàn)代操作系統(tǒng)面臨的挑戰(zhàn)
1.2 操作系統(tǒng)訪問(wèn)控制
第2章 操作系統(tǒng)訪問(wèn)控制研究概述
2.1 基礎(chǔ)理論的形成
2.1.1 訪問(wèn)控制抽象
2.1.2 引用監(jiān)控機(jī)
2.1.3 BLP模型
2.1.4 權(quán)能與訪問(wèn)控制表
2.1.5 操作系統(tǒng)保護(hù)理論
2.2 訪問(wèn)控制模型
2.2.1 概念辨析
2.2.2 安全模型描述
2.2.3 安全模型比較
2.3 訪問(wèn)控制框架
2.3.1 基于策略描述語(yǔ)言的FMP
2.3.2 基于安全屬性的FMP
2.3.3 基于統(tǒng)一模型的FMP
2.3.4 FMP比較
2.4 安全操作系統(tǒng)
2.4.1 安全Multics
2.4.2 Linus IV系統(tǒng)
2.4.3 安全Xenix系統(tǒng)
2.4.4 System V/MLS
2.4.5 安全TUNIS系統(tǒng)
2.4.6 ASOS系統(tǒng)
2.4.7 基于Mach的DTOS安全操作系統(tǒng)
2.4.8 基于Fluke的Flask安全操作系統(tǒng)
2.4.9 基于Linux的SE—Linux安全操作系統(tǒng)
2.4.10 中國(guó)安全操作系統(tǒng)研究
2.4.11 紅旗安全操作系統(tǒng)
第3章 強(qiáng)制訪問(wèn)控制
3.1 多級(jí)安全策略的適應(yīng)性實(shí)施方法
3.1.1 二層判斷空間劃分
3.1.2 BLP模型的形式化框架簡(jiǎn)述
3.1.3 ABLP實(shí)施方法理論框架的建立及其正確性證明
3.1.4 ABLP實(shí)施方法解釋
3.2 安全策略格與多級(jí)安全策略
3.2.1 安全策略格的定義方法
3.2.2 多級(jí)安全策略的歷史敏感性
3.2.3 DTOS安全策略格的修正
3.2.4 小結(jié)
第4章 角色訪問(wèn)控制
4.1 引言
4.2 擴(kuò)展RBAC96模型
4.3 OSR模型的形式化描述
4.3.1 有關(guān)角色、用戶、進(jìn)程和可執(zhí)行文件的定義
4.3.2 有關(guān)客體的定義和規(guī)則
4.3.3 有關(guān)操作的定義和規(guī)則
4.3.4 有關(guān)權(quán)限的定義和規(guī)則
4.3.5 模型中的關(guān)系
4.3.6 進(jìn)程角色集合變化規(guī)則
4.3.7 訪問(wèn)決策的規(guī)則與定理
4.4 OSR模型實(shí)現(xiàn)
4.4.1 GFAC實(shí)施部分
4.4.2 Capability實(shí)施部分
4.4.3 系統(tǒng)缺省狀態(tài)的確定
4.4.4 繼承關(guān)系和限制關(guān)系的實(shí)現(xiàn)
4.4.5 安全管理
4.5 小結(jié)
第5章 可用性訪問(wèn)控制
5.1 提出問(wèn)題
5.2 模型描述
5.2.1 定義
5.2.2 保護(hù)規(guī)則
5.2.3 感染傳播規(guī)則
5.2.4 關(guān)鍵標(biāo)志傳播規(guī)則
5.2.5 總體描述
5.3 模型分析
5.3.1 安全性分析
5.3.2 兼容性分析
5.3.3 易用性分析
5.4 模型實(shí)現(xiàn)
5.5 模型評(píng)價(jià)
5.5.1 安全性測(cè)試
5.5.2 兼容性測(cè)試
5.5.3 性能測(cè)試
5.6 與DTE模型的關(guān)系
5.7 小結(jié)
第6章 可生存性訪問(wèn)控制
6.1 可生存性訪問(wèn)控制
6.2 TTC模型
6.3 模型證明
6.4 模型應(yīng)用
6.5 模型比較
6.6 小結(jié)
第7章 訪問(wèn)控制框架
7.1 擴(kuò)展GFAC
7.1.1 引言
7.1.2 訪問(wèn)的三層模型及二項(xiàng)緩沖機(jī)制的提出
7.1.3 帶二項(xiàng)緩沖機(jī)制的通用訪問(wèn)控制框架
7.1.4 DGFAC在RFSOS中的實(shí)施
7.1.5 性能評(píng)價(jià)
7.1.6 小結(jié)
7.2 環(huán)境適應(yīng)的多策略支持框架
7.2.1 引言
7.2.2 評(píng)價(jià)準(zhǔn)則
7.2.3 Guards框架的提出
7.2.4 Guards框架的描述
7.2.5 Guards在RFSOS中的實(shí)現(xiàn)
7.2.6 Guards與FLASK的比較
第8章 訪問(wèn)控制管理
8.1 訪問(wèn)控制的管理
8.1.1 引言
8.1.2 CC標(biāo)準(zhǔn)下的安全管理要求
8.1.3 SAMSOS及其實(shí)施
8.1.4 SAMSOS與FMP的結(jié)合
8.1.5 結(jié)果評(píng)價(jià)
8.2 安全屬性的撤銷
8.2.1 引言
8.2.2 安全屬性即時(shí)撤銷分析及框架
8.2.3 屬性撤銷框架在RFSOS安全操作系統(tǒng)中的實(shí)施
8.2.4 性能影響分析
8.2.5 小結(jié)
參考文獻(xiàn)