操作系統訪問控制研究（簡體書）

操作系統安全性是計算機安全的重要基礎，要妥善解決日益泛濫的計算機安全問題，必須有穩固的安全操作系統作后盾。本書專門介紹作者近年在操作系統訪問控制領域的研究成果，包括強制訪問控制和角色訪問控制，支持多安全政策的訪問控制框架和訪問控制管理，以及新型訪問控制——可用性訪問控制和可生存性訪問控制等。書中所述大部分內容已經應用到商品化安全操作系統中，并獲得北京市科技進步獎。 本書可供操作系統和信息安全研究者及相關專業高校師生閱讀參考。

單智勇，博士，中國人民大學碩士生導師。研究領域為操作系統、信息安全和虛擬機技術。從事操作系統研究近十年，先后主持或作為骨干參與多項操作系統領域的國家自然科學基金課題和國家863高技術研究發展計劃項目。在重要國際會議、學報和核心期刊發表操作系統相關學術論文二十余篇。曾獲得中國科學院院長獎和北京市科技進步二等獎。

前言
第1章 緒論
1.1 現代操作系統面臨的挑戰
1.2 操作系統訪問控制
第2章　操作系統訪問控制研究概述
2.1 基礎理論的形成
2.1.1 訪問控制抽象
2.1.2 引用監控機
2.1.3 BLP模型
2.1.4 權能與訪問控制表
2.1.5 操作系統保護理論
2.2 訪問控制模型
2.2.1 概念辨析
2.2.2 安全模型描述
2.2.3　安全模型比較
2.3 訪問控制框架
2.3.1 基于策略描述語言的FMP
2.3.2 基于安全屬性的FMP
2.3.3 基于統一模型的FMP
2.3.4　FMP比較
2.4　安全操作系統
2.4.1 安全Multics
2.4.2　Linus IV系統
2.4.3　安全Xenix系統
2.4.4 System V/MLS
2.4.5 安全TUNIS系統
2.4.6 ASOS系統
2.4.7 基于Mach的DTOS安全操作系統
2.4.8 基于Fluke的Flask安全操作系統
2.4.9 基于Linux的SE—Linux安全操作系統
2.4.10 中國安全操作系統研究
2.4.11 紅旗安全操作系統
第3章　強制訪問控制
3.1 多級安全策略的適應性實施方法
3.1.1　二層判斷空間劃分
3.1.2　BLP模型的形式化框架簡述
3.1.3　ABLP實施方法理論框架的建立及其正確性證明
3.1.4　ABLP實施方法解釋
3.2 安全策略格與多級安全策略
3.2.1 安全策略格的定義方法
3.2.2 多級安全策略的歷史敏感性
3.2.3　DTOS安全策略格的修正
3.2.4 小結
第4章　角色訪問控制
4.1　引言
4.2　擴展RBAC96模型
4.3 OSR模型的形式化描述
4.3.1　有關角色、用戶、進程和可執行文件的定義
4.3.2　有關客體的定義和規則
4.3.3　有關操作的定義和規則
4.3.4　有關權限的定義和規則
4.3.5　模型中的關系
4.3.6　進程角色集合變化規則
4.3.7　訪問決策的規則與定理
4.4 OSR模型實現
4.4.1　GFAC實施部分
4.4.2　Capability實施部分
4.4.3　系統缺省狀態的確定
4.4.4　繼承關系和限制關系的實現
　……
第5章　可用性訪問控制
第6章　可生存性訪問控制
第7章　訪問控制框架
第8章　訪問控制管理
參考文獻