Jason Crampton, Gregory Gutin. Constraint expressions and workflow satisfiability. In Mauro Conti, Jaideep Vaidya, Andreas Schaad, editors, 18th ACM Symposium on Access Control Models and Technologies, SACMAT '13, Amsterdam, The Netherlands, June 12-14, 2013. pages 73-84, ACM, 2013. [doi]
Abstract is missing.