A Static ABAC Policy Conflict Resolution Algorithm
A logic-based framework for attribute based access control