@inproceedings{paper:PistoiaFinkFlynnYahavICSE07,
author={Marco Pistoia and Stephen J.\ Fink and Robert J.\ Flynn and Eran 
Yahav},
title={{When Role Models Have Flaws: Static Validation of Enterprise Security 
Policies}},
booktitle={29th International Conference on Software Engineering (ICSE 
2007)},
year=2007,
month = may,
address = {Minneapolis, MN, USA},
pages = {478--488},
}