Marco Pistoia, Stephen J. Fink, Robert J. Flynn, Eran Yahav
When Role Models Have Flaws: Static Validation of Enterprise Security Policies
ICSE, 2007.
@inproceedings{ICSE-2007-PistoiaFFY, author = "Marco Pistoia and Stephen J. Fink and Robert J. Flynn and Eran Yahav", booktitle = "{Proceedings of the 29th International Conference on Software Engineering}", doi = "10.1109/ICSE.2007.98", pages = "478--488", publisher = "{IEEE Computer Society}", title = "{When Role Models Have Flaws: Static Validation of Enterprise Security Policies}", year = 2007, }