访问控制策略的有效性对工作流管理系统的安全稳定运行具有重要影响，针对这一问题，提出了一种基于模型检测的工作流管理系统访问控制策略验证方法。建立了工作流管理系统的访问控制策略模型与工作流执行主体任务权限状态模型，并在此基础上对访问控制策略的有效性进行验证。实验表明该算法具有有效性和合理性，为访问控制策略的验证提供了一条新的解决途径。