| 摘要 | 第1-8页 |
| ABSTRACT | 第8-9页 |
| 第一章 绪论 | 第9-18页 |
| ·课题意义 | 第9页 |
| ·国内外研究现状 | 第9-14页 |
| ·工作流与工作流技术 | 第9-10页 |
| ·工作流过程建模理论研究 | 第10-13页 |
| ·工作流访问控制理论研究 | 第13页 |
| ·访问控制中逻辑推理技术研究 | 第13-14页 |
| ·主要研究工作 | 第14-16页 |
| ·建立一个具有安全特性的工作流管理系统 | 第14页 |
| ·工作流过程建模方法研究 | 第14-15页 |
| ·工作流访问控制模型研究 | 第15-16页 |
| ·访问控制逻辑推理技术 | 第16页 |
| ·论文结构安排 | 第16-17页 |
| ·本章小结 | 第17-18页 |
| 第二章 一种具有安全特性的工作流管理系统 | 第18-25页 |
| ·工作流管理系统 | 第18-20页 |
| ·工作流管理系统功能模块 | 第18-19页 |
| ·工作流管理系统参考模型 | 第19-20页 |
| ·具有安全特性的工作流管理系统框架 | 第20-21页 |
| ·管理监控工具 | 第20-21页 |
| ·过程定义工具 | 第21页 |
| ·工作流执行服务 | 第21页 |
| ·其他工作流执行服务 | 第21页 |
| ·用户应用程序 | 第21页 |
| ·被调应用程序 | 第21页 |
| ·基于角色的工作流过程定义 | 第21-23页 |
| ·基于角色的工作流过程定义 | 第22页 |
| ·元模型 | 第22-23页 |
| ·管理监控工具 | 第23-24页 |
| ·授权部件 | 第23页 |
| ·访问控制部件 | 第23页 |
| ·委托授权部件 | 第23-24页 |
| ·任务管理部件 | 第24页 |
| ·资源管理部件 | 第24页 |
| ·审计部件 | 第24页 |
| ·本章小结 | 第24-25页 |
| 第三章 基于角色的对象PETRI网工作流建模方法 | 第25-39页 |
| ·简单Petri网和对象Petri网 | 第25-26页 |
| ·Petri网的定义 | 第25-26页 |
| ·对象Petri网(Open Petri Net，OPN) | 第26页 |
| ·基于角色的对象Petri网工作流模型 | 第26-34页 |
| ·模型的概述 | 第26-28页 |
| ·模型的定义 | 第28-29页 |
| ·WOPN的流程模式 | 第29-34页 |
| ·WOPN的建立与运行 | 第34-36页 |
| ·模型建立步骤 | 第34-35页 |
| ·WOPN运行过程 | 第35-36页 |
| ·WOPN模型实例 | 第36-37页 |
| ·本章小结 | 第37-39页 |
| 第四章 扩展的基于角色的工作流访问控制模型 | 第39-53页 |
| ·E-WACM | 第39-42页 |
| ·模型中的实体 | 第40页 |
| ·模型中的实体关系 | 第40-41页 |
| ·访问控制规则 | 第41-42页 |
| ·授权模板和授权基 | 第42-43页 |
| ·授权模板(AT) | 第42-43页 |
| ·授权基(AB) | 第43页 |
| ·授权约束 | 第43-45页 |
| ·授权约束规则 | 第43-44页 |
| ·静态约束 | 第44页 |
| ·动态约束 | 第44-45页 |
| ·E-WACM中的各种关系 | 第45-47页 |
| ·访问控制中的关系 | 第45页 |
| ·逻辑谓词之间关系 | 第45-46页 |
| ·访问控制模型与工作流过程模型的关系 | 第46-47页 |
| ·E-WACM中的访问控制活动 | 第47-51页 |
| ·访问控制活动(ACA) | 第47页 |
| ·访问控制活动的状态(AS) | 第47-48页 |
| ·访问控制过程 | 第48-51页 |
| ·本章小结 | 第51-53页 |
| 第五章 工程实现 | 第53-68页 |
| ·工程背景信息 | 第53页 |
| ·需求分析 | 第53页 |
| ·系统开发环境 | 第53页 |
| ·功能模块 | 第53-58页 |
| ·流程定义模块 | 第54-55页 |
| ·授权管理模块 | 第55-57页 |
| ·访问控制模块 | 第57-58页 |
| ·关键功能模块的技术解决方案 | 第58-67页 |
| ·过程定义 | 第58-60页 |
| ·逻辑推理 | 第60-63页 |
| ·授权约束的逻辑验证 | 第63-65页 |
| ·访问控制管理模块 | 第65-67页 |
| ·本章小结 | 第67-68页 |
| 第六章 结束语 | 第68-70页 |
| 工作总结 | 第68页 |
| 展望 | 第68-70页 |
| 参考文献 | 第70-74页 |
| 作者简历 攻读硕士学位期间完成的主要工作 | 第74-75页 |
| 致谢 | 第75页 |