多级跨域访问控制管理相关技术研究
摘要 | 第4-5页 |
Abstract | 第5-6页 |
图录 | 第10-11页 |
表录 | 第11-12页 |
第一章 绪论 | 第12-15页 |
1.1 研究背景 | 第12-13页 |
1.2 研究内容 | 第13-14页 |
1.3 本文的结构安排 | 第14-15页 |
第二章 多级跨域访问控制管理研究现状 | 第15-28页 |
2.1 基本概念 | 第15-20页 |
2.1.1 多级安全 | 第15-16页 |
2.1.2 跨域安全 | 第16-19页 |
2.1.3 安全策略管理 | 第19-20页 |
2.2 访问控制管理模型综述 | 第20-22页 |
2.3 安全策略冲突分类综述 | 第22-24页 |
2.4 安全策略冲突检测与消解方法综述 | 第24-27页 |
2.4.1 安全策略冲突检测方法综述 | 第24-26页 |
2.4.2 安全策略冲突消解方法综述 | 第26-27页 |
2.5 存在的主要问题及本文研究对策 | 第27页 |
2.6 本章小结 | 第27-28页 |
第三章 多级跨域访问控制管理模型 | 第28-48页 |
3.1 模型定义 | 第28-41页 |
3.1.1 模型安全假设 | 第28页 |
3.1.2 模型基本概念 | 第28-30页 |
3.1.3 模型主要思想 | 第30-31页 |
3.1.4 模型元素及关系 | 第31-35页 |
3.1.5 管理操作及规则 | 第35-41页 |
3.2 模型实施框架 | 第41-43页 |
3.2.1 框架组成 | 第41-42页 |
3.2.2 实施流程 | 第42-43页 |
3.2.3 属性更新机制 | 第43页 |
3.3 模型分析 | 第43-47页 |
3.3.1 模型安全性分析 | 第43-46页 |
3.3.2 模型特点分析 | 第46-47页 |
3.4 本章小结 | 第47-48页 |
第四章 多级跨域环境下访问控制策略冲突形式化规约 | 第48-61页 |
4.1 概述 | 第48-49页 |
4.2 显式策略冲突形式化规约 | 第49-56页 |
4.2.1 约束条件冲突 | 第49-51页 |
4.2.2 域间模态冲突 | 第51-52页 |
4.2.3 域间属性层次冲突 | 第52-56页 |
4.3 隐式策略冲突形式化规约 | 第56-59页 |
4.3.1 信息流隔离冲突 | 第57-58页 |
4.3.2 信息流逆向冲突 | 第58-59页 |
4.4 管理操作引起的策略冲突分析 | 第59-60页 |
4.5 本章小结 | 第60-61页 |
第五章 多级跨域环境下的显式策略冲突检测与消解 | 第61-77页 |
5.1 概述 | 第61-62页 |
5.2 基于属性分解的显式策略冲突检测算法 | 第62-70页 |
5.2.1 算法描述 | 第62-65页 |
5.2.2 算法复杂度分析 | 第65页 |
5.2.3 算法实例说明 | 第65-70页 |
5.3 基于属性影响度的显式策略冲突消解算法 | 第70-74页 |
5.3.1 策略条件属性影响度 | 第70-72页 |
5.3.2 基本思想 | 第72-73页 |
5.3.3 算法描述 | 第73-74页 |
5.3.4 算法复杂度分析 | 第74页 |
5.4 实验测试与分析 | 第74-76页 |
5.5 本章小结 | 第76-77页 |
第六章 多级跨域环境下的隐式策略冲突检测与消解 | 第77-88页 |
6.1 基于信息流矩阵的隐式策略冲突检测算法 | 第77-81页 |
6.1.1 基本思想 | 第77-78页 |
6.1.2 信息流可达性计算 | 第78-79页 |
6.1.3 算法描述 | 第79-81页 |
6.1.4 算法复杂度分析 | 第81页 |
6.2 基于信息流阻断的隐式策略冲突消解算法 | 第81-84页 |
6.2.1 基本思想 | 第81页 |
6.2.2 算法描述 | 第81-83页 |
6.2.3 算法复杂度分析 | 第83-84页 |
6.3 实验测试与分析 | 第84-87页 |
6.4 本章小结 | 第87-88页 |
第七章 结束语 | 第88-90页 |
7.1 主要工作总结 | 第88-89页 |
7.2 有待进一步研究的问题 | 第89-90页 |
致谢 | 第90-92页 |
参考文献 | 第92-96页 |
作者简历 | 第96页 |