NDLI: Systematic Structural Testing of Firewall Policies

Content Provider	IEEE Xplore Digital Library
Author	JeeHyun Hwang Tao Xie Fei Chen Liu, A.X.
Copyright Year	2008
Description	Author affiliation: Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC (JeeHyun Hwang; Tao Xie) \|\| Dept. of Comput. Sci. & Eng., Michigan State Univ., East Lansing, MI (Fei Chen; Liu, A.X.)
Abstract	Firewalls are the mainstay of enterprise security and the most widely adopted technology for protecting private networks. As the quality of protection provided by a firewall directly depends on the quality of its policy (i.e., configuration), ensuring the correctness of security policies is important and yet difficult.To help ensure the correctness of a firewall policy, we propose a systematic structural testing approach for firewall policies. We define structural coverage (based on coverage criteria of rules, predicates, and clauses) on the policy under test. Considering achieving higher structural coverage effectively, we develop three automated packet generation techniques: the random packet generation, the one based on local constraint solving (considering individual rules locally in a policy), and the most sophisticated one based on global constraint solving (considering multiple rules globally in a policy).We have conducted an experiment on a set of real policies and a set of faulty policies to detect faults with generated packet sets. Generally, our experimental results show that a packet set with higher structural coverage has higher fault detection capability (i.e., detecting more injected faults). Our experimental results show that a reduced packet set (maintaining the same level of structural coverage with the corresponding original packet set) maintains similar fault detection capability with the original set.
Starting Page	105
Ending Page	114
File Size	306517
Page Count	10
File Format	PDF
ISBN	9780769534107
ISSN	10609857
DOI	10.1109/SRDS.2008.34
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2008-10-06
Publisher Place	Italy
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	System testing Computer science Protection Fault detection Telecommunication traffic Software testing Reliability engineering Computer security Business communication Home automation Mutation Testing Firwall Policy Structural Coverage Test Generation
Content Type	Text
Resource Type	Article
Subject	Theoretical Computer Science Computer Networks and Communications Software Hardware and Architecture

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Fault Localization for Firewall Policies

Systematic Structural Testing of Firewall Policies

Systematic structural testing of firewall policies (2008)

Formal Verification of Firewall Policies

Systematic Structural Testing of Firewall Policies (2011)

Symposium on reliable distributed systems systematic structural testing of firewall policies.

Multiple Mutation Testing from FSM

Test Generation by Constraint Solving and FSM Mutant Killing

Traffic-Aware Firewall Optimization Strategies

Systematic Structural Testing of Firewall Policies

Similar Documents

Fault Localization for Firewall Policies

Systematic Structural Testing of Firewall Policies

Systematic structural testing of firewall policies (2008)

Formal Verification of Firewall Policies

Systematic Structural Testing of Firewall Policies (2011)

Symposium on reliable distributed systems systematic structural testing of firewall policies.

Multiple Mutation Testing from FSM

Test Generation by Constraint Solving and FSM Mutant Killing

Traffic-Aware Firewall Optimization Strategies

Systematic Structural Testing of Firewall Policies