Detecting Conflicts in ABAC Policies with Rule-Reduction and Binary-Search Techniques. - Cheng-chun Shu; Erica Y. Yang; Alvaro E. Arenas (POLICY, 2009)