Verification and change impact analysis of access-control policies (2005)

by K Fisler, S Krishnamurthi, L Meyerovich, M Tschantz
Venue:In Proc. ICSE