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

內容簡介

隨著海量多源異構大數據的產生，在這些數據中既有一般的可公開信息，也有需要保密的重要信息。如何保障資料庫的安全性就成了一個亟待解決的問題。可信計算已成為信息安全中的一個研究熱點，作為信息安全的核心，訪問控制是計算機系統中的一種安全機制，它確保對系統資源的訪問按照安全策略來進行。針對傳統安全控制模型，嚴格的讀寫控制使系統缺乏靈活性和可用性，不滿足套用系統需求；提出一套“基於可信計算的層次分區共享組訪問控制框架”及採用模型驅動的開發方法，有利於開展可信模型的原始創新思路和獨具特色的探索性研究，新的研究方法是對可信計算理論的豐富與重要補充。

圖書目錄

第1章緒論

1.1 引言

1.2 可信計算

1.3 安全資料庫的國內外研究現狀

1.4 課題來源的依據和意義

1.5 主要工作

第2章信息系統安全保護等級劃分準則的分析

2.1 資料庫安全的基本要求與特點

2.2 可信計算機系統評估標準分析

2.3 我國系統安全保護等級劃分準則

2.4 標準規則的比較

2.5 本章小結

第3章 LogicSQL資料庫系統的研究

3.1 LogicSQL資料庫簡介

3.2 LogicSQL資料庫核心技術

3.3 LogicSQL資料庫基本安全模組

3.4 本章小結

第4章安全模型的理論基礎研究

4.1 模型的數學基礎

4.2 模型數學基礎中格的套用

4.3 模型的基礎——Bell-LaPadula模型

4.4 本章小結

第5章一種基於Bell-LaPadula的安全資料庫系統模型

5.1 模型的基本概念定義

5.2 模型的系統狀態

5.3 模型的系統狀態轉換

5.4 模型的系統

5.5 模型的公理

5.6 模型的規則與結論

5.7 本章小結

第6章 LogicSQL安全資料庫原形系統的實現

6.1 安全資料庫系統的實現策略／方法

6.2 安全資料庫系統的安全級別粒度

6.3 LogicSQL原形系統基本安全體系結構

6.4 LogicSQL原形系統的安全模組劃分

6.5 主要模組功能及基本數據結構

6.6 本章小結

第7章基於可信計算的層次共享組訪問控制模型研究與實現

7.1 基於可信計算技術的主體身份認證

7.2 層次共享組訪問控制模型研究與實現

7.3 本章小結

第8章層次共享組訪問控制模型套用分析

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

基本介紹

內容簡介

圖書目錄

相關詞條

熱門詞條