Jason Crampton, Gregory Gutin, Rémi Watrigant. On the Satisfiability of Workflows with Release Points. In Elisa Bertino, Ravi Sandhu, Edgar R. Weippl, editors, Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, SACMAT 2017, Indianapolis, IN, USA, June 21-23, 2017. pages 207-217, ACM, 2017. [doi]
Abstract is missing.