selected publications chapter MIRAGE: A Management Tool for the Analysis and Deployment of Network Security Policies. Lecture notes in computer science. 203-215. 2011