Mikhail I. Gofman Ruiqi Luo Ayla C. Solomon Yingbin Zhang Ping Yang Scott D. Stoller RBAC-PAT: A Policy Analysis Tool for Role Based Access Control. 46-49 2009 TACAS http://dx.doi.org/10.1007/978-3-642-00768-2_4 conf/tacas/2009 db/conf/tacas/tacas2009.html#GofmanLSZYS09