Keyword:Misconfiguration

Publications
Automatic detection and correction of firewall misconfigurations- A formal approach Amina Saâdaoui, Nihel Ben Youssef and Adel Bouhoula In:SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017