Firewalls protect hosts in a corporate network from attacks. Together with the surrounding network infrastructure, they form a complex system, the security of which relies crucially on the correctness of the firewalls. We propose a method for specification-based testing of firewalls. It enables to formally model the firewalls and the surrounding network and to mechanically derive test-cases checking the firewalls for vulnerabilities. We use a general CASE-tool which makes our method flexible and easy to use. © Springer-Verlag Berlin Heidelberg 2001.
CITATION STYLE
Jürjens, J., & Wimmel, G. (2001). Specification-based testing of firewalls. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2244 LNCS, pp. 308–316). Springer Verlag. https://doi.org/10.1007/3-540-45575-2_31
Mendeley helps you to discover research relevant for your work.