A Formal Approach To Firewalls Testing Techniques

Alexander Barabanov, Alexey Markov, Valentin Tsirlov

Traditional technologies of firewall testing are overlooked. A new formalized approach is presented. Recommendations on optimization of test procedures are given.