基于可信计算的访问控制理论与方法

第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章 层次共享组访问控制模型应用分析
8.1 层次共享组访问控制模型的应用背景
8.2 层次共享组访问控制模型的应用实例-企业信息管理软件
8.3 本章小结
第9章 基于可信计算的柔性访问控制研究
9.1 柔性访问控制规范与分析
9.2 RBAC模型的柔性
9.3 偏好冲突消解策略
9.4 基于逻辑程序的柔性授权框架
第10章 结论与展望
参考文献