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

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