随着工作流技术在办公自动化领域的广泛应用,工作流管理系统的安全问题日益突出。访问控制技术作为一种安全防护技术,已经被广泛应用于工作流管理系统,来保证数据的安全性和授权的有效性。本文首先对现有的工作流技术和访问控制模型进行了充分研究,并结合工作流管理系统对访问控制的需求,总结出了各个访问控制模型的优点和局限性。其次,在最适合工作流管理系统的TRBAC模型的基础上,提出了一个基于TRBAC的工作流访问控制模型。此模型保留了TRBAC模型的优点,将“任务”和“角色”同时提到了访问控制模型的中心地位,用户首先被赋予角色,然后在获得了可执行的任务后才拥有相应的权限,从而实现了动态授权和最小权限原则。此外,还从应用的角度对TRBAC模型进行了一些改进,利用任务分类的思想来解决私有权限的问题,并使用冲突实体和任务间关联关系来重点表述动态SoD约束的实现方法。然后,基于上述理论,从技术层面进行了模型的实现,并将该模型应用到工作流管理系统中,形成权限控制子系统。具体包括系统的总体设计、详细模块设计和数据库设计,以及系统中实体间分配、冲突实体定义和约束检测等重要功能的具体实现方法的描述。最后,应用一个流程实例跟踪了子系统的运行过程,从而证明了模型的有效性和实用性。