Firewalls White Papers
Formal Verification of Firewall Policies
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.
| Publisher | Michigan State University | File Format | |
|---|---|---|---|
| Date Published | February 2008 | ||
| Format | White Papers | ||
| Topics | |||
-
Did you find this white paper useful? 1 out of 2 users found this white paper useful
White Paper RSSBalancing Security Against Productivity
DownloadWhat makes for great security? Is it about keeping the bad guys out or letting the good guys in? About defending attacks or preventing them? When IDG Research Services queried...
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 hardware, and theft of proprietary information or intellectual property accounted for more...
Secure Desktop On-Demand Webcast
The desktop or endpoint is one of the most vulnerable parts of your environment. Threats are everywhere. You have users who love to experiment with device settings (only to wonder...
Automated Solution Overhauls Tumbleweed Communications’ Software Updating Process
Download this case study from Macrovision to read about Tumbleweed Communications’ success using Macrovision’s FLEXnet Publisher Update Service Module, a Web-based service that proactively delivers software patches, updates, and other...
HP OpenView Operations OVO Firewall Configuration White Paper
This document describes how to setup and configure OVO in a firewall environment. It describes what steps need to be performed on the OVO management server and on the firewall...
