随着科技的发展和经济繁荣,工作流技术在计算机应用领域迅速发展,它可以优化企业经营业务流程,促进各部门协调工作,提高企业的办事效率,增强企业的竞争力。但由于针对工作流安全方面的研究还比较欠缺,这严重影响了工作流技术在企业中的广泛应用,其中的访问控制技术是保证工作流系统信息安全的重要手段之一。因此开展针对工作流管理系统的安全性研究对于发展访问控制技术具有重要意义。本论文首先对工作流技术与访问控制技术的相关基本概念和模型进行了分析,对工作流进行建模,对常用的访问控制模型进行了分析和研究,包括自主访问控制、强制访问控制模型、基于角色的访问控制模型和基于任务的访问控制模型。然后针对工作流管理系统的访问控制特点深入探讨了一种新型访问控制模型——基于任务和角色的访问控制模型(task-role based access control,T-RBAC),该模型克服了传统访问控制模型的缺点,很好地满足了工作流管理系统的安全需求。在新模型的基础上,使用T-RCL(task-role based constraint language)对模型进行形式化描述并举例。论文最后通过设计船厂工作流管理系统的架构和总体功能模块并实现其主要模块,验证系统访问控制模型的可行性。