Modular Synthesis of Enforcement Mechanisms for the Workflow Satisfiability Problem: Scalability and Reusability.

Daniel Ricardo dos Santos, Serena Elisa Ponta, Silvio Ranise

Browse the full SACMAT paper archive.