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

• Type: Conference
• Year: 2008
• Where: PTS
• Authors: Achim D. Brucker, Lukas Brügger, Burkhart Wolff
• Keywords: Firewall, Hardware, Model-based Testing, PTS 2008, Testing Tool