Daniel Ricardo Dos Santos, Serena Elisa Ponta, Silvio Ranise. Modular Synthesis of Enforcement Mechanisms for the Workflow Satisfiability Problem: Scalability and Reusability. In X. Sean Wang, Lujo Bauer, Florian Kerschbaum, editors, Proceedings of the 21st ACM on Symposium on Access Control Models and Technologies, SACMAT 2016, Shanghai, China, June 5-8, 2016. pages 89-99, ACM, 2016. [doi]
Abstract is missing.