基于工作流的访问控制模型的研究与应用

论文摘要

工作流技术是实现业务过程建模、分析、优化、集成与管理,并最终实现业务过程自动化的核心技术。随着信息技术的迅速发展,将业务流程用计算机实现的工作流系统的应用越来越广泛,其在满足应用需求的同时,对安全性也有了更高的要求,因而需要更好的安全模型应用于工作流系统中。近年来工作流系统中访问控制技术得到广泛研究和应用,访问控制的目的就是防止非法用户访问系统资源和数据甚至破坏系统的可访问性。在介绍和分析工作流技术、访问控制技术的基础上,本文主要完成了以下几方面的工作:首先,介绍了工作流技术的基本概念、工作流管理系统参考模型和几种典型工作流模型,访问控制技术的概念、几种主流访问控制技术并对它们的特点做了比较,这些内容的讨论为本文的研究奠定了基础。其次,分析了已有工作流安全模型的优点与不足,为满足动态授权约束的要求,在轻量级工作流模型的基础上,改进了基于角色的访问控制模型,提出了一个基于变量的条件化RBAC模型。模型中引入了输入、输出变量和全局变量,通过变量构造出一个关系表达式,在工作流执行过程中,判断任务结点执行的角色授权集合。该模型简化了工作流实例运行时的动态约束检验和授权操作,提高了系统的运行效率,具有一定的实用性。最后,将基于变量的条件化RBAC模型成功应用于维修计划审批系统中,实现审批过程中各审批结点的动态授权和阶段授权,通过测试初步验证了基于变量的条件化RBAC模型的通用性和有效性。

论文目录

• 摘要
• Abstract
• 第1章 绪论
• 1.1 研究背景及研究意义
• 1.1.1 研究背景
• 1.1.2 研究意义
• 1.2 国内外研究现状
• 1.3 研究内容及技术路线
• 1.3.1 研究内容
• 1.3.2 技术路线
• 1.4 论文的组织结构
• 第2章 工作流系统概述
• 2.1 工作流的基本概念
• 2.2 工作流管理系统
• 2.2.1 工作流管理系统概念
• 2.2.2 工作流管理系统参考模型
• 2.2.3 工作流管理系统功能
• 2.3 典型工作流模型介绍
• 2.4 本章小结
• 第3章 访问控制技术概述
• 3.1 自主访问控制
• 3.2 强制访问控制
• 3.3 基于角色的访问控制
• 3.4 基于任务的访问控制
• 3.5 访问控制技术的比较
• 3.6 工作流系统中的安全和访问控制问题
• 3.6.1 工作流系统中的安全问题
• 3.6.2 工作流系统中的访问控制问题
• 3.7 本章小结
• 第4章 基于变量的条件化RBAC 模型
• 4.1 已有工作流安全模型的不足
• 4.1.1 基于角色的工作流安全模型
• 4.1.2 基于任务的工作流安全模型
• 4.1.3 基于角色和任务的工作流安全模型
• 4.2 基于变量的条件化RBAC 模型
• 4.2.1 轻量级工作流模型
• 4.2.2 改进模型的提出
• 4.2.3 模型的算法描述与分析
• 4.3 本章小结
• 第5章 模型在审批系统中的应用
• 5.1 系统的背景与目标
• 5.2 维修计划审批流程详细介绍
• 5.2.1 审批流程定义
• 5.2.2 审批流程模型实现
• 5.2.3 审批流程工作流分析
• 5.3 维修计划审批系统的实现
• 5.3.1 业务流程
• 5.3.2 数据库实现
• 5.3.3 功能模块分析
• 5.3.4 系统的开发平台与运行环境
• 5.3.5 维修计划审批流程的运行过程
• 5.4 实现效果分析
• 5.5 本章小结
• 总结与展望
• 参考文献
• 攻读硕士学位期间所发表的学术论文及参与的科研项目
• 致谢
• 详细摘要