Amjad GawanmehAutomatic Verification of Security Policies in Firewalls with Dynamic Rule Sequence.279-2842014ITNGhttps://doi.org/10.1109/ITNG.2014.29https://doi.ieeecomputersociety.org/10.1109/ITNG.2014.29conf/itng/2014db/conf/itng/itng2014.html#Gawanmeh14