Adam J. Lee Marianne Winslett Enforcing Safety and Consistency Constraints in Policy-Based Authorization Systems. 2008 12 ACM Trans. Inf. Syst. Secur. 2 http://doi.acm.org/10.1145/1455518.1455520 db/journals/tissec/tissec12.html#LeeW08