![[IEEE 2008 Annual Computer Security Applications Conference (ACSAC) - Anaheim, CA, USA (2008.12.8-2008.12.12)] 2008 Annual Computer Security Applications Conference (ACSAC) - Assessing Quality of Policy Properties in Verification of Access Control Policies]()
[IEEE 2008 Annual Computer Security Applications Conference (ACSAC) - Anaheim, CA, USA (2008.12.8-2008.12.12)] 2008 Annual Computer Security Applications Conference (ACSAC) - Assessing Quality of Policy Properties in Verification of Access Control PoliciesMartin, Evan; Hwang, JeeHyun; Xie, Tao; Hu, Vincent · 2008