Evan Martin JeeHyun Hwang Tao Xie Vincent C. Hu Assessing Quality of Policy Properties in Verification of Access Control Policies. 163-172 2008 ACSAC http://dx.doi.org/10.1109/ACSAC.2008.48 conf/acsac/2008 db/conf/acsac/acsac2008.html#MartinHXH08