RBAC-PAT: A Policy Analysis Tool for Role Based Access Control.

Mikhail I. Gofman, Ruiqi Luo, Ayla C. Solomon, Yingbin Zhang, Ping Yang, Scott D. Stoller

Browse the full TACAS paper archive.