Marco Pistoia, Stephen J. Fink, Robert J. Flynn, Eran Yahav. When Role Models Have Flaws: Static Validation of Enterprise Security Policies. In 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007. pages 478-488, IEEE Computer Society, 2007. [doi]
Abstract is missing.