Firewalls White Papers
Formal Correctness of Conflict Detection for Firewalls
Overview This paper describes the formalization of a correctness proof for a conflict detection algorithm for firewalls in the Coq Proof Assistant. First, it gives formal definitions in Coq of a firewall access rule and of an access request to a firewall. Formally, two rules are in conflict if there exists a request on which one rule would allow access and the other would deny it. The algorithms are expressed in Coq, and prove that it finds all conflicts in a set of rules.
| Publisher | Association for Computing Machinery | File Format | |
|---|---|---|---|
| Date Published | November 2007 | ||
| Format | White Papers | ||
| Topics | |||
-
Did you find this white paper useful? 0 out of 1 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...
