A Formal Approach To Firewalls Testing Techniques

Abstract

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

Keywords: information security, firewall, security analysis, test procedures, conformance evaluation, security certification, performance optimization