Detecting and resolving inconsistencies in firewalls. - Du Zhang; Lavanya Jujjavarapu; Meiliu Lu (IRI, 2014)