White Papers

Formal Verification of Firewall Policies

Tags: security holes, enterprise security, firewall, network

Overview Firewalls are the mainstay of enterprise security and the most widely adopted technology for protecting private networks. The quality of protection provided by a firewall directly depends on the quality of its policy (i.e., configuration). Due to the lack of tools for verifying firewall policies, most firewalls on the Internet have been plagued with policy errors. A firewall policy error either creates security holes that will allow malicious traffic to sneak into a private network or blocks legitimate traffic and disrupts normal business processes, which in turn could lead to irreparable, if not tragic, consequences. This paper proposes a firewall verification tool in this paper. This tool takes as input a firewall policy and a given property, then outputs whether the policy satisfies the property.

By downloading you agree to our Terms and Conditions. These include information regarding use of your personal data.

Publisher: Michigan State University
File Format: PDF
Date Published: Apr 16, 2008
Format: White Papers
Topics: Firewalls, Security Tools

Similiar White Papers

Balancing Security Against Productivity

What makes for great security? Is it about keeping the bad guys out or letting the good guys in? About defending atta

Publisher: Novell | Tags: management, security management

Security: New strides in preventing intrusions.

Need help eliminating risk in your IT environment? This ForwardView webshow describes how security appliances, which inc

Publisher: IBM

TechNet Webcast: ISA Server 2006 Firewall and Proxy Services (Level 200)

The presenter of this webcast describes how to use the firewall and proxy services in Microsoft Internet Security and Ac

Publisher: Microsoft | Tags: firewall

Interaction Between Nokia Intrusion Prevention and Nokia Firewall

Firewalls provide protection between the external networks and internal networks by blocking potentially malicious traff

Publisher: Nokia | Tags: deep packet inspection, email, ftp, infrastructure, network, network infrastructure, sip, smtp, voip

Novell Zenworks Endpoint Security Management: Total Control from a Single Console

Still super gluing your USB ports shut? Unauthorized access to networks, lost or stolen laptops and other mobile hardwar

Publisher: Novell | Tags: usb

Michigan State University White Papers

An Autonomous Robotic Fish for Mobile Sensing

Featured white papers

The Value of Location Intelligence in the Communications Industry

Pitney Bowes

Public Services are under pressure, the challenge is to do more with less. How do you improve citizen satisfaction, increase cost efficiencies and improve service delivery? The power of location intelligence is helping many local authorities...

Download now »
Best Practices for Translating Customer Satisfaction into Revenue

Citrix Online

Today's support organisations are focused on two top-level metrics: financial results and customer satisfaction. For most, it's easy to track financial performance, but customer satisfaction is akin to speaking a foreign language...

Download now »
HP print solutions and 3M

Hewlett-Packard (HP)

The objective for 3M was to optimize office printing infrastructure at 3M locations worldwide, reduce total cost and environmental footprint. Some of the business benefits acheived by switching to HP print solutions...

Download now »