Automatically Generating Firewall policies for Firewall Testing

Firewalls are an essential component of modern systems, and as IT systems become more complex so do firewalls. This increase in complexity necessitates formal testing of this mission-critical component. An essential part of such a process is the (automatic) generation of firewall policies. This generation problem has received little attention in the literature; hence we present a novel approach to the problem. Our solution is evaluated against 200 firewall policies; the results show that our system generates firewall policies with superior coverage of the solution space when compared to current approaches utilised in the literature.