| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 插图索引 | 第9-10页 |
| 附表索引 | 第10-11页 |
| 第1章 绪论 | 第11-17页 |
| ·本文的研究背景与意义 | 第11-13页 |
| ·访问控制模型的安全性验证需求 | 第13-15页 |
| ·本文的主要研究内容 | 第15页 |
| ·本文组织结构 | 第15-16页 |
| ·本章小结 | 第16-17页 |
| 第2章 相关理论背景 | 第17-22页 |
| ·访问控制模型理论背景 | 第17-18页 |
| ·多域互操作理论背景 | 第18页 |
| ·访问控制策略安全性验证理论背景 | 第18-20页 |
| ·现有研究中的缺陷及本文的贡献 | 第20-21页 |
| ·本章小结 | 第21-22页 |
| 第3章 基于风险的多域互操作动态访问控制模型研究 | 第22-33页 |
| ·相关概念 | 第22-23页 |
| ·权限的基本表示 | 第22页 |
| ·基于角色映射的自治域间的信任度 | 第22-23页 |
| ·多自治域互操作中的风险度量 | 第23-26页 |
| ·基于风险的多域动态访问控制模型(MDR~2BAC) | 第26-30页 |
| ·MDR~2BAC 模型 | 第26-28页 |
| ·MDR~2BAC 模型的访问控制策略和机理 | 第28-30页 |
| ·模型的一致性与安全性分析 | 第30-32页 |
| ·MDR~2BAC 模型的一致性分析 | 第30-31页 |
| ·MDR~2BAC 模型的安全性分析 | 第31-32页 |
| ·本章小结 | 第32-33页 |
| 第4章 基于风险的角色访问控制模型的安全分析验证 | 第33-49页 |
| ·相关概念 | 第33-36页 |
| ·MDR~2BAC 访问控制策略的形式化定义 | 第33-34页 |
| ·MDR~2BAC 安全分析实例的形式化定义 | 第34-36页 |
| ·MDR~2BAC 访问控制策略上下文中的安全分析 | 第36-41页 |
| ·MDR~2BAC 上下文中安全分析的状态定义 | 第36-39页 |
| ·MDR~2BAC 上下文中安全分析的查询定义 | 第39页 |
| ·MDR~2BAC 上下文中安全分析的蕴含定义 | 第39-40页 |
| ·MDR~2BAC 上下文中安全分析的查询种类 | 第40-41页 |
| ·MDR~2BAC 访问控制策略安全分析种类及其解决方案 | 第41-45页 |
| ·初始权限分配(Initial Permissions Assignment, IPA) | 第42-43页 |
| ·风险等级确定(Risk Rank Counting, RRC) | 第43-44页 |
| ·动态权限调整(Dynamic Permissions Regulating, DPR) | 第44-45页 |
| ·MDR~2BAC 访问控制策略安全分析的归约算法 | 第45-48页 |
| ·RT 语言基本概念 | 第45页 |
| ·MDR~2BAC 归约算法 | 第45-48页 |
| ·本章小结 | 第48-49页 |
| 第5章 P2P 环境下的MDR~2BAC 策略及安全分析实例 | 第49-53页 |
| ·P2P 环境下的MDR~2BAC 策略制定 | 第49-51页 |
| ·P2P 环境下的MDR~2BAC 安全分析 | 第51-52页 |
| ·本章小结 | 第52-53页 |
| 结论 | 第53-54页 |
| 参考文献 | 第54-59页 |
| 致谢 | 第59-60页 |
| 附录A (攻读硕士学位期间发表论文目录) | 第60-61页 |
| 附录B (攻读硕士学位期间参加的科研项目) | 第61页 |
