| 摘要 | 第1-6页 |
| ABSTRACT | 第6-8页 |
| 目录 | 第8-13页 |
| 第一章 绪论 | 第13-21页 |
| ·引言 | 第13-14页 |
| ·国内外研究现状 | 第14-17页 |
| ·论文主要创新工作 | 第17-19页 |
| ·本文的组织 | 第19-21页 |
| 第二章 使用控制模型的研究与进展 | 第21-41页 |
| ·引言 | 第21-22页 |
| ·传统访问控制技术 | 第22-25页 |
| ·自主访问控制 DAC | 第22页 |
| ·强制访问控制 MAC | 第22-23页 |
| ·基于角色访问控制 RBAC | 第23-24页 |
| ·信任管理 TM 和数字版权管理 DRM | 第24-25页 |
| ·使用控制模型 UCON | 第25-39页 |
| ·UCON 模型概念的提出 | 第25-28页 |
| ·UCON_(ABC)模型的定义及相关研究 | 第28-33页 |
| ·UCON_(ABC)模型的定义 | 第28-32页 |
| ·关于 UCON_(ABC)模型定义的相关研究 | 第32-33页 |
| ·UCON_(ABC)模型的形式化描述 | 第33-36页 |
| ·UCON_(ABC)模型的体系结构与执行机制 | 第36-38页 |
| ·UCON_(ABC)模型的应用研究 | 第38-39页 |
| ·目前 UCON 模型的主要研究方向 | 第39-40页 |
| ·小结 | 第40-41页 |
| 第三章 UCON_(ABC)模型的计算树逻辑描述及安全性分析 | 第41-59页 |
| ·引言 | 第41页 |
| ·UCON_(ABC)模型的计算树逻辑描述 | 第41-50页 |
| ·扩展计算树逻辑 CTL 的语法和语义 | 第42-44页 |
| ·UCON_(ABC)模型的 CTL 描述 | 第44-50页 |
| ·授权前子模型 UCON_(preA) | 第45-46页 |
| ·授权中子模型 UCON_(onA) | 第46-47页 |
| ·职责前子模型 UCON_(preB) | 第47-48页 |
| ·职责中子模型 UCON_(onB) | 第48-49页 |
| ·条件前子模型 UCON_(preC) | 第49页 |
| ·条件中子模型 UCON_(onC) | 第49-50页 |
| ·UCON_(onA)模型的安全分析 | 第50-53页 |
| ·UCON_(onA)模型的有限状态机模拟 | 第50-51页 |
| ·UCON_(onA)模型的安全证明 | 第51-53页 |
| ·UCON_(ABC)模型中的信息流动分析 | 第53-57页 |
| ·信息流动的定义 | 第54-55页 |
| ·信息流动的规则 | 第55-57页 |
| ·小结 | 第57-59页 |
| 第四章 支持后职责的使用控制模型及其体系结构研究 | 第59-71页 |
| ·引言 | 第59-60页 |
| ·DUCON 模型定义及 CTL 描述 | 第60-66页 |
| ·授权前子模型 UCON_(preA) | 第63页 |
| ·授权中子模型 DUCON_(onA) | 第63-64页 |
| ·职责前子模型 UCON_(preB) | 第64页 |
| ·职责中子模型 DUCON_(onB) | 第64-65页 |
| ·职责后子模型 DUCONp_(ostB) | 第65-66页 |
| ·条件前子模型 DUCON_(preC) | 第66页 |
| ·条件中子模型 DUCON_(onC) | 第66页 |
| ·DUCON 模型体系结构 | 第66-70页 |
| ·小结 | 第70-71页 |
| 第五章 基于角色使用控制模型研究 | 第71-85页 |
| ·引言 | 第71-72页 |
| ·基于角色使用控制模型 RBUC 结构图 | 第72-74页 |
| ·基于角色使用控制模型 RBUC 定义及约束描述 | 第74-80页 |
| ·核心 RBUC 模型 | 第74-77页 |
| ·继承 RBUC 模型 | 第77-79页 |
| ·约束 RBUC 模型 | 第79-80页 |
| ·基于角色使用控制模型 RBUC 状态转换 | 第80-82页 |
| ·数据仓库和分布式数据库中的应用 | 第82-84页 |
| ·小结 | 第84-85页 |
| 第六章 实现 RBAC 自动配置的混合角色挖掘方法研究 | 第85-99页 |
| ·引言 | 第85-86页 |
| ·相关研究与进展 | 第86-87页 |
| ·预备知识以及需求分析 | 第87-89页 |
| ·预备知识 | 第87-88页 |
| ·需求分析 | 第88-89页 |
| ·最小扰动混合角色挖掘定义 | 第89-94页 |
| ·系统结构复杂度度量指标 | 第90页 |
| ·最小扰动度量指标 | 第90-94页 |
| ·最小扰动混合角色挖掘定义 | 第94页 |
| ·最小扰动混合角色挖掘算法 | 第94-96页 |
| ·复杂度分析与系统性能评估 | 第96-98页 |
| ·复杂度分析 | 第96-97页 |
| ·性能评估 | 第97-98页 |
| ·小结 | 第98-99页 |
| 第七章 总结与展望 | 第99-101页 |
| ·总结 | 第99-100页 |
| ·展望 | 第100-101页 |
| 参考文献 | 第101-115页 |
| 致谢 | 第115-116页 |
| 在学期间的研究成果及发表的学术论文 | 第116页 |