Rbacpat: A policy analysis tool for role based access control (2009)

by M I Gofman, R Luo, A C Solomon, Y Zhang, P Yang, S D Stoller
Venue:In TACAS, volume 5505 of LNCS