RBAC-PAT: A Policy Analysis Tool for Role Based Access Control. - Mikhail I. Gofman; Ruiqi Luo; Ayla C. Solomon; Yingbin Zhang; Ping Yang 002; Scott D. Stoller (TACAS, 2009)