[论文解读] A Survey on Workflow Satisfiability, Resiliency, and Related Problems.

Daniel Ricardo dos Santos, Silvio Ranise|arXiv (Cornell University)|Jun 22, 2017

Cloud Data Security Solutions被引用 9

一句话总结

本文综述了过去20年在工作流可满足性问题（WSP）及其相关问题（如弹性）方面的研究，重点分析了访问控制和授权约束对工作流执行的影响。文章全面分析了各种解决方案方法及其在确保业务合规性的同时维持工作流连续性的实际影响。

ABSTRACT

Workflows specify collections of tasks that must be executed under the responsibility or supervision of human users. Workflow management systems and workflow-driven applications need to enforce security policies in the form of access control, specifying which users can execute which tasks, and authorization constraints, such as Separation of Duty, further restricting the execution of tasks at run-time. Enforcing these policies is crucial to avoid frauds and malicious use, but it may lead to situations where a workflow instance cannot be completed without the violation of the policy. The Workflow Satisfiability Problem (WSP) asks whether there exists an assignment of users to tasks in a workflow such that every task is executed and the policy is not violated. The WSP is inherently hard, but solutions to this problem have a practical application in reconciling business compliance and business continuity. Solutions to related problems, such as workflow resiliency (i.e., whether a workflow instance is still satisfiable even in the absence of users), are important to help in policy design. Several variations of the WSP and similar problems have been defined in the literature and there are many solution methods available. In this paper, we survey the work done on these problems in the past 20 years.

研究动机与目标

• 分析过去二十年间工作流可满足性问题（WSP）研究的演变过程与当前状态。
• 研究访问控制与授权约束（如职责分离）如何影响工作流的执行与完成。
• 探讨工作流弹性——即当用户不可用时，工作流是否仍能保持可满足性。
• 识别并分类在实际工作流管理系统背景下，WSP及相关问题的解决方案方法。
• 通过明确安全强制与业务连续性之间的权衡，支持更优的策略设计。

提出的方法

• 对过去20年关于WSP及相关问题的学术出版物进行系统性文献综述。
• 将工作流策略分类为访问控制与授权约束，包括职责分离及其他运行时限制。
• 根据计算复杂性对解决方案技术进行分类，如固定参数可满足性算法与约束满足方法。
• 分析评估用户缺席或故障情况下工作流可满足性的弹性模型。
• 综合分析不同问题变体的发现，包括用户可用性、任务依赖关系与策略强制机制。
• 评估理论解决方案在实际工作流驱动的应用与系统中的可应用性。

实验结果

研究问题

• RQ1 影响工作流可满足性的主要访问控制与授权约束类别有哪些？
• RQ2 现有解决方案方法如何在确保策略合规性的同时应对WSP的计算困难性？
• RQ3 用户缺席在何种程度上影响工作流弹性？系统应如何设计以在用户不可用时仍保持可满足性？
• RQ4 WSP变体之间的关键差异是什么？这些差异如何影响解决方案技术的选择？
• RQ5 WSP研究的发现如何应用于改进现实世界工作流管理系统中的策略设计？

主要发现

• 从计算角度看，WSP本质上是困难的，但固定参数可满足性算法已使许多现实工作流的实用解决方案成为可能。
• 授权约束（如职责分离）显著增加了工作流执行的复杂性，但对防止欺诈与恶意行为至关重要。
• 弹性分析有助于识别在部分用户不可用时仍可执行的工作流，从而支持更具弹性的策略设计。
• 存在广泛的解决方案方法，包括约束编程、基于SAT的求解器与优化技术，每种方法适用于不同工作流特征。
• 将WSP解决方案集成到工作流管理系统中，可实现业务合规性与运营连续性之间的更好对齐。
• 尽管理论研究已取得进展，但实际部署仍具挑战，主要受限于可扩展性与动态用户可用性问题。