Thumbnail
Access Restriction
Subscribed

Author Wu Jin-hua ♦ Chen Xiao-Su ♦ Zhao Yi-Zhu ♦ Ni Jun
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2008
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Formal specifications ♦ Filtering ♦ Filters ♦ Testing ♦ Computer network management ♦ Conference management ♦ Technology management ♦ Computer science ♦ Computer security ♦ Application software ♦ policy enforcement validation ♦ policy-based management ♦ policy inconsistency
Abstract Firewalls are important elements in today's network security. This paper presents a flexible policy-based firewall management framework. The framework provides policy-based management to manage different types of firewalls, such as packet filter firewall, application layer firewall. It is important to know whether the firewall policy configuration and enforcement is correct. We believe that there is a need to verify firewall configurations before and after they are deployed. Our framework uses a analyze tool to discover inconsistency before policies are deployed, the tool is based on formal specification and analysis of policy rule relations. Our framework also provides an automated mechanism for validating firewall policy enforcement after they are deployed.
Description Author affiliation: Sch. of Comput. Sci. & Technol., Huazhong Univ. of Sci. & Technol., Wuhan (Wu Jin-hua; Chen Xiao-Su; Zhao Yi-Zhu; Ni Jun)
ISBN 9780769533810
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2008-09-22
Publisher Place China
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Size (in Bytes) 170.70 kB
Page Count 3
Starting Page 192
Ending Page 194


Source: IEEE Xplore Digital Library