Automated Framework for Policy Optimization in Firewalls and Security Gateways. - Gianluca Maiolini; Lorenzo Cignini; Andrea Baiocchi (CISIS, 2008)