%0 Book Section
%T Model-based Firewall Conformance Testing
%A Brucker, Achim D.
%A Brügger, Lukas
%A Wolff, Burkhart
%E Suzuki, Kenji
%E Higashino, Teruo
%B Testcom/FATES 2008
%D 2008
%N 5047
%I Springer-Verlag
%C Heidelberg
%G USenglish
%F brucker.ea:model-based:2008
%X 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.
%K Security Testing, Model-based Testing, Firewall, Conformance Testing
%U http://www.brucker.ch/bibliography/abstract/brucker.ea-model-based-2008
%U http://www.brucker.ch/bibliography/download/2008/brucker.ea-model-based-2008.pdf
%U http://dx.doi.org/10.1007/978-3-540-68524-1_9
%P 103-118