TY - CHAP AU - Brucker, Achim D. AU - Brügger, Lukas AU - Wolff, Burkhart ED - Suzuki, Kenji ED - Higashino, Teruo PY - 2008 DA - 2008// TI - Model-based Firewall Conformance Testing BT - Testcom/FATES 2008 T3 - Lecture Notes in Computer Science SP - 103 EP - 118 IS - 5047 PB - Springer-Verlag CY - Heidelberg KW - Security Testing, Model-based Testing, Firewall, Conformance Testing AB - 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 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. L1 - https://www.brucker.ch/bibliography/download/2008/brucker.ea-model-based-2008.pdf UR - https://www.brucker.ch/bibliography/abstract/brucker.ea-model-based-2008 UR - https://doi.org/10.1007/978-3-540-68524-1_9 DO - 10.1007/978-3-540-68524-1_9 LA - USenglish ID - brucker.ea:model-based:2008 ER -