On the Parameterized Complexity and Kernelization of the Workflow Satisfiability Problem

Jason Crampton, Gregory Gutin, Anders Yeo

A workflow specification defines a set of steps and the order in which those steps must be executed. Security requirements may impose constraints on which groups of users are permi…