Specification-based testing of firewalls

47Citations
Citations of this article
11Readers
Mendeley users who have this article in their library.
Get full text

Abstract

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.

Cite

CITATION STYLE

APA

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

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free