| 第一章 绪论 | 第1-14页 |
| ·课题的来源及其意义 | 第8-9页 |
| ·国内外有关的研究现状 | 第9-11页 |
| ·本文的主要研究内容及贡献 | 第11-12页 |
| ·本文的组织结构及章节设置 | 第12-14页 |
| 第二章 工作流系统及其访问控制要求 | 第14-21页 |
| ·工作流的概念及定义 | 第14-16页 |
| ·工作流管理系统的模型及访问控制要求 | 第16-18页 |
| ·工作流管理系统概念模型 | 第16-18页 |
| ·工作流管理系统的访问控制要求 | 第18页 |
| ·现代 OA系统的访问控制要求 | 第18-21页 |
| 第三章 传统访问控制理论分析 | 第21-25页 |
| ·自主访问控制理论 | 第21-23页 |
| ·强制访问控制理论 | 第23-25页 |
| 第四章 TBAC及 RBAC访问控制模型理论分析 | 第25-40页 |
| ·RBAC访问控制模型分析 | 第25-32页 |
| ·TBAC访问控制模型分析 | 第32-40页 |
| 第五章 T-RBAC访问控制模型的设计 | 第40-62页 |
| ·RBAC模型的缺陷 | 第40-42页 |
| ·传统 RBAC模型缺陷分析 | 第40-41页 |
| ·扩展 RBAC模型缺陷分析 | 第41-42页 |
| ·T-RBAC模型的设计目标 | 第42-43页 |
| ·T-RBAC模型的设计 | 第43-49页 |
| ·T-RBAC的设计模型 | 第43-44页 |
| ·概念及形式化定义 | 第44-48页 |
| ·T-RBAC模型对于工作流系统访问控制要求的满足度 | 第48-49页 |
| ·T-RBAC模型中私有权限问题的解决 | 第49-52页 |
| ·T-RBAC的约束描述语言 ETCL | 第52-62页 |
| ·RCL2000约束描述语言 | 第52-55页 |
| ·RCL2000的时间特性扩充 | 第55-57页 |
| ·ETCL语言 | 第57-62页 |
| 第六章 T-RBAC原型应用系统的设计及实现 | 第62-76页 |
| ·系统总体结构设计 | 第62-66页 |
| ·系统的设计目标 | 第62页 |
| ·系统实现框架描述 | 第62-64页 |
| ·系统总体逻辑结构设计 | 第64页 |
| ·系统功能模块描述 | 第64-66页 |
| ·基于UML的系统实现 | 第66-70页 |
| ·UML简述 | 第66页 |
| ·功能分析 | 第66-68页 |
| ·静态模型设计 | 第68-70页 |
| ·动态模型设计 | 第70页 |
| ·系统实现平台 | 第70页 |
| ·关键技术问题及解决方法 | 第70-71页 |
| ·系统界面示例 | 第71-76页 |
| 第七章 系统的进一步讨论及组件化实现的展望 | 第76-81页 |
| ·系统存在的问题 | 第76-77页 |
| ·组件化实现的讨论 | 第77-81页 |
| ·组件技术介绍 | 第77-78页 |
| ·T-RBAC模型的组件化讨论 | 第78-81页 |
| 参考文献 | 第81-85页 |
| 致谢 | 第85页 |