基于可信計算的訪問控制理論與方法

第1章 緒論
1.1 引言
1.2 可信計算
1.3 安全數(shù)據(jù)庫的國內(nèi)外研究現(xiàn)狀
1.4 課題來源的依據(jù)和意義
1.5 主要工作
第2章 信息系統(tǒng)安全保護等級劃分準則的分析
2.1 數(shù)據(jù)庫安全的基本要求與特點
2.2 可信計算機系統(tǒng)評估標準分析
2.3 我國系統(tǒng)安全保護等級劃分準則
2.4 標準規(guī)則的比較
2.5 本章小結
第3章 LogicSQL數(shù)據(jù)庫系統(tǒng)的研究
3.1 LogicSQL數(shù)據(jù)庫簡介
3.2 LogicSQL數(shù)據(jù)庫核心技術
3.3 LogicSQL數(shù)據(jù)庫基本安全模塊
3.4 本章小結
第4章 安全模型的理論基礎研究
4.1 模型的數(shù)學基礎
4.2 模型數(shù)學基礎中格的應用
4.3 模型的基礎——Bell-LaPadula模型
4.4 本章小結
第5章 一種基于Bell-LaPadula的安全數(shù)據(jù)庫系統(tǒng)模型
5.1 模型的基本概念定義
5.2 模型的系統(tǒng)狀態(tài)
5.3 模型的系統(tǒng)狀態(tài)轉換
5.4 模型的系統(tǒng)
5.5 模型的公理
5.6 模型的規(guī)則與結論
5.7 本章小結
第6章 LogicSQL安全數(shù)據(jù)庫原形系統(tǒng)的實現(xiàn)
6.1 安全數(shù)據(jù)庫系統(tǒng)的實現(xiàn)策略／方法
6.2 安全數(shù)據(jù)庫系統(tǒng)的安全級別粒度
6.3 LogicSQL原形系統(tǒng)基本安全體系結構
6.4 LogicSQL原形系統(tǒng)的安全模塊劃分
6.5 主要模塊功能及基本數(shù)據(jù)結構
6.6 本章小結
第7章 基于可信計算的層次共享組訪問控制模型研究與實現(xiàn)
7.1 基于可信計算技術的主體身份認證
7.2 層次共享組訪問控制模型研究與實現(xiàn)
7.3 本章小結
第8章 層次共享組訪問控制模型應用分析
8.1 層次共享組訪問控制模型的應用背景
8.2 層次共享組訪問控制模型的應用實例-企業(yè)信息管理軟件
8.3 本章小結
第9章 基于可信計算的柔性訪問控制研究
9.1 柔性訪問控制規(guī)范與分析
9.2 RBAC模型的柔性
9.3 偏好沖突消解策略
9.4 基于邏輯程序的柔性授權框架
第10章 結論與展望
參考文獻