Simone Ferraresi Emanuele Francocci Alessio Quaglini Andrea Baiocchi Algorithm to automatically solve security policy conflicts among IP devices configurations. 923-926 2008 NOMS http://dx.doi.org/10.1109/NOMS.2008.4575248 conf/noms/2008 db/conf/noms/noms2008.html#FerraresiFQB08