General Methods for Access Control Policy Verification (Application Paper).

Vincent C. Hu, D. Richard Kuhn

Browse the full IRI paper archive.