协同环境中动态访问控制模型的研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-12页 |
| 第一章 绪论 | 第12-16页 |
| ·论文背景及研究现状 | 第12-14页 |
| ·论文研究工作 | 第14-15页 |
| ·论文的组织结构 | 第15-16页 |
| 第二章 基于任务的动态访问控制模型 | 第16-41页 |
| ·CSCW 简介 | 第16-17页 |
| ·访问控制模型简介 | 第17-21页 |
| ·自主访问控制模型（DAC） | 第17-18页 |
| ·强制访问控制模型（MAC） | 第18-19页 |
| ·基于角色的访问控制模型（RBAC） | 第19-21页 |
| ·协同环境中动态访问控制模型的需求分析 | 第21-28页 |
| ·传统访问控制模型在协同中的缺陷 | 第21-23页 |
| ·需求目标 | 第23-24页 |
| ·设计原则 | 第24-28页 |
| ·DT-RBAC 访问控制模型的设计 | 第28-40页 |
| ·基本思想 | 第28-30页 |
| ·定义 | 第30-34页 |
| ·公理及定理 | 第34-36页 |
| ·安全规则 | 第36-39页 |
| ·支撑工具 | 第39-40页 |
| ·本章小结 | 第40-41页 |
| 第三章 基于PETRI 网的协同任务过程建模 | 第41-59页 |
| ·PETRI 网建模分析 | 第41-43页 |
| ·协同任务的过程模型 | 第43-44页 |
| ·任务流程的PETRI 网建模 | 第44-50页 |
| ·任务节点建模 | 第44-45页 |
| ·基础任务流程建模 | 第45-50页 |
| ·CTP-NET 正确性检测 | 第50-54页 |
| ·可达性 | 第51-52页 |
| ·死锁 | 第52-54页 |
| ·实例分析 | 第54-58页 |
| ·预定义 | 第54-55页 |
| ·实例需求 | 第55-56页 |
| ·PETRI 网过程建模 | 第56-57页 |
| ·模拟分析 | 第57-58页 |
| ·本章小结 | 第58-59页 |
| 第四章 动态访问控制模型中信任度的求解 | 第59-72页 |
| ·层次模糊评价法 | 第59-60页 |
| ·层次权重集求解 | 第60-61页 |
| ·模糊综合评价 | 第61-64页 |
| ·单层评价模型 | 第62-64页 |
| ·多层评价模型 | 第64页 |
| ·层次分析法的改进 | 第64-68页 |
| ·优化判断矩阵 | 第65-66页 |
| ·构造最优传递矩阵 | 第66-67页 |
| ·改进对比分析 | 第67-68页 |
| ·实例求解 | 第68-71页 |
| ·本章小结 | 第71-72页 |
| 第五章 动态访问控制模型的原型系统设计 | 第72-85页 |
| ·体系结构 | 第73-75页 |
| ·访问控制安全平台设计 | 第75-81页 |
| ·设计关键点 | 第81-84页 |
| ·本章小结 | 第84-85页 |
| 第六章 结束语 | 第85-87页 |
| ·总结 | 第85页 |
| ·进一步的工作 | 第85-87页 |
| 参考文献 | 第87-91页 |
| 致谢 | 第91-92页 |
| 在学期间的研究成果 | 第92-93页 |
| 附录 | 第93-99页 |
| 附录1 模糊三角数部分代码 | 第93-95页 |
| 附录2 层次分析矩阵计算部分代码 | 第95-99页 |
| 附录3 CACP 原型系统数据库表 | 第99页 |
