Policy segmentation for intelligent firewall testing

2005 First Workshop on Secure Network Protocols, NPSec, held in conjunction with ICNP 2005: 13th IEEE International Conference on Network Protocols

Volumn 2005, Issue , 2005, Pages 67-72

  El Atawy, Adel ^a,b   Ibrahim, Khaled ^a   Hamed, Hazem ^a   Al Shaer, Ehab ^a  

^a DEPAUL UNIVERSITY   (United States)

^b ALEXANDRIA UNIVERSITY   (Egypt)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; INTELLIGENT NETWORKS; PROBLEM SOLVING; SECURITY OF DATA; TELECOMMUNICATION TRAFFIC;

AUTOMATED TESTING; FIREWALL DESIGN IMPLEMENTATIONS; FIREWALL LOGS; POLICY SEGMENTATION;

COMPUTER SYSTEM FIREWALLS;

EID: 33749044427     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/NPSEC.2005.1532056     Document Type: Conference Paper

References (10)

1. W. R. Adrion, M. A. Branstad, and J. C. Cherniavsky. Validation, Verification, and Testing of Computer Software. ACM Computer Survey, 14(2):159-192, 1982.
2. E. Al-Shaer and H. Hamed. Modeling and Management of Firewall Policies. IEEE Transactions on Network and Service Management, 1(1), 2004.
3. J. Allen. The CERT Guide To System and Network Security Practices. Addison-Wesley, 2001.
4. B. Beizer. Black-Box Testing Techniques for Functional Testing of Software and Systems. Wiley-VCH, 1995.
5. R. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, C-35(8), 1986.
6. D. Chapman and E. Zwicky. Building Internet Firewalls, Second Edition. Orielly & Associates Inc., 2000.
7. P. Gupta and N. McKeown. Algorithms for Packet Classification. IEEE Network, 15(2), 2001.
8. J. Jürjens and G. Wimmel. Specification-Based Testing of Firewalls. In Proceedings of the 4th International Conference on Perspectives of System Informatics (PSI'02), pages 308-316, 2001.
9. S. Kamara, S. Fahmy, E. Schultz, F. Kerschbaum, and M. Frantzen. Analysis of Vulnerabilities in Internet Firewalls. Computers and Security, 22(3):214-232, April 2003.
10. A. Wool. Architecting the Lumeta Firewall Analyzer. In Proceedings of the 10th USENIX Security Symposium, August 2001.