基于描述逻辑的访问控制策略冲突检测方法研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 绪论 | 第10-14页 |
| ·课题研究背景 | 第10-11页 |
| ·当前研究现状及选题依据 | 第11-12页 |
| ·当前研究现状 | 第11-12页 |
| ·选题依据 | 第12页 |
| ·论文主要工作及组织结构 | 第12-14页 |
| 第二章 访问控制模型及其描述语言 | 第14-25页 |
| ·基于角色的访问控制(RBAC)模型 | 第14-19页 |
| ·RBAC 模型的特征 | 第14-16页 |
| ·RBAC 模型簇 | 第16-19页 |
| ·访问控制描述语言 | 第19-21页 |
| ·访问控制策略的表示 | 第19-21页 |
| ·访问控制策略决策流程 | 第21页 |
| ·支持RBAC 模型的XACML 标准 | 第21-24页 |
| ·XACML RBAC 标准中策略的表示 | 第21-23页 |
| ·XACML 对RBAC 支持存在的不足 | 第23-24页 |
| ·XACML 的语义扩展方法 | 第24页 |
| ·本章小节 | 第24-25页 |
| 第三章 XACML 的语义扩展 | 第25-41页 |
| ·使用OWL 表示RBAC 约束模型 | 第25-33页 |
| ·OWL 语言的特征 | 第25-27页 |
| ·基本元素的表示 | 第27-29页 |
| ·角色约束的表示 | 第29-33页 |
| ·基于OWL 的XACML 扩展 | 第33-35页 |
| ·策略管理框架 | 第33-34页 |
| ·角色约束管理 | 第34-35页 |
| ·基于描述逻辑的策略分析 | 第35-40页 |
| ·描述逻辑的知识库形式 | 第36-38页 |
| ·描述逻辑中的推理问题 | 第38-39页 |
| ·基于描述逻辑的策略分析方法 | 第39-40页 |
| ·本章小节 | 第40-41页 |
| 第四章 基于描述逻辑的策略冲突检测方法 | 第41-55页 |
| ·策略冲突产生的原因 | 第41-45页 |
| ·角色层次关系 | 第41-42页 |
| ·资源层次关系 | 第42-43页 |
| ·规则冲突分析 | 第43-45页 |
| ·分析预处理 | 第45-48页 |
| ·规则冗余分析 | 第45-47页 |
| ·规则冗余处理 | 第47-48页 |
| ·基于描述逻辑的冲突检测 | 第48-51页 |
| ·角色约束管理 | 第49-50页 |
| ·规则冲突检测 | 第50-51页 |
| ·访问控制领域DL-KB 的构成 | 第51-54页 |
| ·共享本体 | 第51-53页 |
| ·领域本体 | 第53-54页 |
| ·本章小节 | 第54-55页 |
| 第五章 基于RACER 的策略冲突检测 | 第55-64页 |
| ·推理系统RACER 的特性 | 第55-56页 |
| ·访问控制DL-KB 的设计 | 第56-59页 |
| ·访问控制DL-KB 的构建 | 第56-58页 |
| ·Racer 中的推理 | 第58-59页 |
| ·实验演示与分析 | 第59-63页 |
| ·角色约束 | 第60-62页 |
| ·规则冲突 | 第62-63页 |
| ·本章小节 | 第63-64页 |
| 第六章 总结与进一步研究工作 | 第64-66页 |
| ·论文总结 | 第64-65页 |
| ·进一步研究工作 | 第65-66页 |
| 参考文献 | 第66-69页 |
| 致谢 | 第69-70页 |
| 在学期间的研究成果及发表的学术论文 | 第70页 |
