Assessing Quality of Policy Properties in Verification of Access Control Policies.

Evan Martin, JeeHyun Hwang, Tao Xie, Vincent C. Hu

Browse the full ACSAC paper archive.