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

by K Fisler, S Krishnamurthi, L A Meyerovich, M C Tschantz
Venue:In 27th International Conference on Software engineering