Saâdaoui, Ben, Souayeh, Bouhoula, 2017. EPiC Series in Computing Automatic detection and correction of firewall misconfigurations-A formal approach 45.