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

by K Fisler, S Krishnamurthi, L Meyerovich, M Tschantz
Venue:In Inter. Conf. on Software Eng. (ICSE