Modeling the “multipolicy machine”
David Elliott Bell · New Security Paradigms Workshop · 1994
A method of treating several unspecified policies is presented. Precise notions of policy combination, policy conflict, conflict resolution, and policy precedence are introduced. Necessary and sufficient conditions for policies to be combined without conflict are established.