| 摘要 | 第1-5页 |
| ABSTRACT | 第5-7页 |
| 英文缩略语对照表 | 第7-10页 |
| 第一章 绪论 | 第10-13页 |
| ·研究背景 | 第10-11页 |
| ·论文的主要研究内容 | 第11-12页 |
| ·文章的组织结构 | 第12-13页 |
| 第二章 相关领域研究现状 | 第13-26页 |
| ·引言 | 第13页 |
| ·传统的访问控制模型 | 第13-20页 |
| ·自主访问控制 | 第13-14页 |
| ·强制访问控制 | 第14-15页 |
| ·基于角色的访问控制 | 第15-20页 |
| ·P-RBAC 访问控制模型 | 第20-23页 |
| ·隐私保护需求 | 第20-21页 |
| ·P-RBAC 访问控制模型框架 | 第21-22页 |
| ·核心 P-RBAC 模型 | 第22-23页 |
| ·基于角色的访问控制模型的策略的安全性分析 | 第23-25页 |
| ·本章小结 | 第25-26页 |
| 第三章 基于 P-RBAC 的职责机制表示模型 | 第26-37页 |
| ·引言 | 第26页 |
| ·P-RBAC 策略中职责的性质 | 第26-28页 |
| ·职责机制的表示 | 第28-33页 |
| ·职责的时间性表示 | 第28-30页 |
| ·职责的完整表示模型 | 第30-31页 |
| ·职责机制下 P-RBAC 策略模型 | 第31-32页 |
| ·职责机制下 P-RBAC 策略模型的实际应用 | 第32-33页 |
| ·P-RBAC 策略中职责的安全性分析 | 第33-36页 |
| ·本章小结 | 第36-37页 |
| 第四章 基于模型检测的层叠问题分析及验证 | 第37-53页 |
| ·引言 | 第37页 |
| ·问题的定义 | 第37-38页 |
| ·层叠问题的分析方法 | 第38-41页 |
| ·PA 集合的有向图表示 | 第38-39页 |
| ·层叠问题的检测 | 第39-40页 |
| ·消除方法 | 第40-41页 |
| ·层叠问题的模型检测验证 | 第41-47页 |
| ·模型检测 | 第41-42页 |
| ·层叠问题的模型检测描述 | 第42-47页 |
| ·实验测试 | 第47-52页 |
| ·本章小结 | 第52-53页 |
| 第五章 基于 UPPAAL 的职责时间性的分析与验证 | 第53-69页 |
| ·引言 | 第53页 |
| ·问题描述 | 第53-54页 |
| ·时间自动机及其验证工具 UPPAAL | 第54-57页 |
| ·时间自动机概述 | 第54-55页 |
| ·基于时间自动机的验证工具 UPPAAL | 第55-57页 |
| ·系统的约简规则 | 第57-62页 |
| ·问题的描述 | 第57-58页 |
| ·基于对象继承的职责包含性分析 | 第58-62页 |
| ·复杂度的分析 | 第62页 |
| ·系统的建模 | 第62-65页 |
| ·系统的性质验证 | 第65-68页 |
| ·本章小结 | 第68-69页 |
| 第六章 总结与展望 | 第69-71页 |
| 参考文献 | 第71-75页 |
| 致谢 | 第75-76页 |
| 攻读硕士学位期间已发表或录用的论文 | 第76-78页 |