Inferring Higher Level Policies from Firewall Rules. - Alok Tongaonkar; Niranjan Inamdar; R. Sekar 001 (LISA, 2007)