随着工作流技术的日趋成熟,越来越多的企业开始采用它作为提高企业效率的手段。工作流管理系统主要用于协调商业过程的执行,这些过程往往涉及到分布的资源。随着企业组织越来越依赖工作流管理系统完成他们的日常工作,如何保护商业秘密成为一个越来越重要的问题。目前大多数工作流系统采取Web方式,Web环境中客体资源种类繁多、差异性大,对工作流管理系统提出了较高的安全需求。同时工作流管理系统本身具有动态性等特点,这些因素使得如何解决工作流管理系统的安全问题、使其支持企业复杂的安全规则成为系统设计的一个难点。本文首先对工作流平台的模型进行深入剖析,介绍了访问控制模型的特点,并深入分析了基于角色的访问控制模型,通过对基于角色的访问控制模型优缺点的分析,定位平台中可能存在的问题,然后在模型中引入权限约束,增加系统安全性。接着通过模拟运行的方式生成平台的工作日志,然后通过基于模型的分析方法对工作日志进行检查,检查系统存在的安全问题。最后针对问题成因,结合系统设计方案一起对系统进行修改,达到提高平台安全性的目的。