Verification of Robust Properties for Access Control Policies

Alexander V. Gheorghiu

Existing methods for verifying access control policies require the policy to be complete and fully determined before verification can proceed, but in practice policies are develope…