A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
EPiC Series in Computing Automatic detection and correction of firewall misconfigurations-A formal approach
The 8th International Symposium on Symbolic Computation in Software Science
Firewall has been at the center of intense research in the last decade owing to the increase of malicious attacks on networks. Constant updating of the firewall configuration by modifying, adding and removing rules increases the complexity of the configuration resulting in overlapping and often conflicting filtering rules. As a consequence, the set of filtering rules becomes unreliable and contains multiple misconfigurations creating ambiguity in classification of new traffic, not onlyfatcat:s2o4lvjbvjbavk6e5ibx3pfcgy