A Formal Approach To Firewalls Testing Techniques

2013/06/08 by Alexander Barabanov, Barabanov, Alexander, Alexey Markov +3
Computer Science · #Advanced Malware Detection Techniques #Network Packet Processing and Optimization #Software Testing and Debugging Techniques #acm:68N30 #cs.CR #cs.SE #msc:68N30

paper · pdf · doi:10.48550/arxiv.1306.1953

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

arxiv created 2013/06/08 · arxiv updated 2013/06/11

Abstract

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

Related

• Formal Checking of Multiple Firewalls
• Firewall Configuration Errors Revisited
• Natural Language Interface for Firewall Configuration
• Automated Penetration Testing: Formalization and Realization
• Automated Software Testing Starting from Static Analysis: Current State of the Art