协同环境中动态访问控制模型的研究

论文摘要

随着网络时代的发展,计算机支持的协同工作系统（CSCW）已引起工业界和学术界的高度重视,而作为一个发展的研究领域,协同工作还存在着很多问题有待进一步研究和解决,其中之一就是系统安全。本文的研究重点是协同环境中的访问控制问题,即如何将访问控制模型,更恰当、简洁地应用到协同系统中。本文根据协同环境中的访问控制安全需求,提出和设计了一种新的访问控制模型。主要研究内容如下。文章首先分析并比较几种经典的访问控制模型,探讨它们应用在协同环境中的局限性。随后提出了一种适用于协同环境的访问控制模型DT-RBAC。对DT-RBAC安全模型进行了形式化定义,接着给出了一些重要的安全公理和定理,并以这些定义、公理和定理为基础设计了DT-RBAC模型的安全规则。针对文章所设计的DT-RBAC模型,提出一个基于Petri网的任务流程建模方法。用Petri网结合任务模式进行任务流程建模,再根据Petri网的可达性和死锁性质定义出任务结构正确性验证方式并验证任务流程,通过实例进行建模分析。在DT-RBAC模型中引入信任度,提出了任务环境下协同主体的层次模糊质量综合评估方法。使用改进的层次分析法计算和确定了任务质量评价指标中各因素的权重,通过模糊综合评价方法较为准确的评价用户担任角色执行任务的质量情况,并给出实例求解。最后根据基于任务的动态访问控制模型（DT-RBAC）,给出了协同访问控制安全平台（CACP）的原型设计。重点描述了该平台所处层次,体系结构和各模块的主要功能。最后对设计关键点进行了方法研究。

论文目录

• 摘要
• ABSTRACT
• 第一章 绪论
• 1.1 论文背景及研究现状
• 1.2 论文研究工作
• 1.3 论文的组织结构
• 第二章 基于任务的动态访问控制模型
• 2.1 CSCW 简介
• 2.2 访问控制模型简介
• 2.2.1 自主访问控制模型（DAC）
• 2.2.2 强制访问控制模型（MAC）
• 2.2.3 基于角色的访问控制模型（RBAC）
• 2.3 协同环境中动态访问控制模型的需求分析
• 2.3.1 传统访问控制模型在协同中的缺陷
• 2.3.2 需求目标
• 2.3.3 设计原则
• 2.4 DT-RBAC 访问控制模型的设计
• 2.4.1 基本思想
• 2.4.2 定义
• 2.4.3 公理及定理
• 2.4.4 安全规则
• 2.4.5 支撑工具
• 2.5 本章小结
• 第三章 基于PETRI 网的协同任务过程建模
• 3.1 PETRI 网建模分析
• 3.2 协同任务的过程模型
• 3.3 任务流程的PETRI 网建模
• 3.3.1 任务节点建模
• 3.3.2 基础任务流程建模
• 3.4 CTP-NET 正确性检测
• 3.4.1 可达性
• 3.4.2 死锁
• 3.5 实例分析
• 3.5.1 预定义
• 3.5.2 实例需求
• 3.5.3 PETRI 网过程建模
• 3.5.4 模拟分析
• 3.6 本章小结
• 第四章 动态访问控制模型中信任度的求解
• 4.1 层次模糊评价法
• 4.2 层次权重集求解
• 4.3 模糊综合评价
• 4.3.1 单层评价模型
• 4.3.2 多层评价模型
• 4.4 层次分析法的改进
• 4.4.1 优化判断矩阵
• 4.4.2 构造最优传递矩阵
• 4.4.3 改进对比分析
• 4.5 实例求解
• 4.6 本章小结
• 第五章 动态访问控制模型的原型系统设计
• 5.1 体系结构
• 5.2 访问控制安全平台设计
• 5.3 设计关键点
• 5.4 本章小结
• 第六章 结束语
• 6.1 总结
• 6.2 进一步的工作
• 参考文献
• 致谢
• 在学期间的研究成果
• 附录
• 附录1 模糊三角数部分代码
• 附录2 层次分析矩阵计算部分代码
• 附录3 CACP 原型系统数据库表