Model-Based Firewall Conformance Testing

8 years 3 months ago
Model-Based Firewall Conformance Testing
Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy, is inherently complex, hard to understand, and difficult to validate. We present a substantial case study performed with the model-based testing tool HOL-TestGen. Based on a formal model of firewalls and their policies in higher-order logic (HOL), we first present a derived theory for simplifying policies. We discuss different test plans for test specifications. Finally, we show how to integrate these issues to a domain-specific firewall testing tool HOL-TestGen/fw. Key words: Security Testing, Model-based Testing, Firewall, Conformance Testing
Achim D. Brucker, Lukas Brügger, Burkhart Wol
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2008
Where PTS
Authors Achim D. Brucker, Lukas Brügger, Burkhart Wolff
Comments (0)