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

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