Verification and change-impact analysis of access-control policies.

Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz

Browse the full ICSE paper archive.