Amjad Gawanmeh. Automatic Verification of Security Policies in Firewalls with Dynamic Rule Sequence. In Shahram Latifi, editor, 11th International Conference on Information Technology: New Generations, ITNG 2014, Las Vegas, NV, USA, April 7-9, 2014. pages 279-284, IEEE Computer Society, 2014. [doi]
Abstract is missing.