... set of users from U such thatthese users together possessing all permissions in P.Oneonlyneedstocomputethesetofpermissionsofeach size-t subsets of U, and check whether it is asuperset of P ... O(mnM2N),wherem is the number of SSoD policies, n is the num-ber of SA policies, M is the number of users, and N isthe number of permissions.Example 5 . Consider the combination of followingSSoD and ... predicate on sets of executions. If conditions on( us ers, permi ssion s) are satisfied, the n a set U of usersare prohibited from covering a set P of permissions.One example of a safety policy...