Abstract
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. © IFIP International Federation for Information Processing 2008.
Author supplied keywords
Cite
CITATION STYLE
Brucker, A. D., Brügger, L., & Wolff, B. (2008). Model-based firewall conformance testing. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5047 LNCS, pp. 103–118). Springer Verlag. https://doi.org/10.1007/978-3-540-68524-1_9
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
