The Workflow Satisfiability Problem with User-Independent Constraints | IEEE Conference Publication | IEEE Xplore