Assessing Quality of Policy Properties in Verification of Access Control Policies