文件名称：论文研究-基于模型检测的工作流访问控制策略验证.pdf
文件大小：300KB
文件格式：PDF
更新时间：2022-08-11 17:27:43
工作流,访问控制策略,策略验证,模型检测
访问控制策略的有效性对工作流管理系统的安全稳定运行具有重要影响，针对这一问题，提出了一种基于模型检测的工作流管理系统访问控制策略验证方法。建立了工作流管理系统的访问控制策略模型与工作流执行主体任务权限状态模型，并在此基础上对访问控制策略的有效性进行验证。实验表明该算法具有有效性和合理性，为访问控制策略的验证提供了一条新的解决途径。