Satisfiability and Feasibility in a Relationship-Based Workflow Authorization Model. - Arif Akram Khan; Philip W. L. Fong (ESORICS, 2012)