Amina Saadaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula. Formal approach for managing firewall misconfigurations. In Marko Bajec, Martine Collard, Rébecca Deneckère, editors, IEEE 8th International Conference on Research Challenges in Information Science, RCIS 2014, Marrakech, Morocco, May 28-30, 2014. pages 1-10, IEEE, 2014. [doi]
Abstract is missing.