When Role Models Have Flaws: Static Validation of Enterprise Security Policies.

Marco Pistoia, Stephen J. Fink, Robert J. Flynn, Eran Yahav

Browse the full ICSE paper archive.