Theoretical Models and Mechanisms for Specification and Verification of Access Control Policies Research Faculty | GradNova