You are here: silicon.com > Resources > White Papers > Security > Intrusion - Tampering > Firewalls

Firewalls White Papers

Formal Correctness of Conflict Detection for Firewalls

Tags:
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.

Further White Paper Details
Publisher	Association for Computing Machinery	File Format	PDF
Date Published	November 2007
Format	White Papers
Topics	Firewalls, Security Tools

Did you find this white paper useful? 5 out of 20 users found this white paper useful

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 attacks or preventing them? When IDG Research Services queried...

Publisher:
Novell

Security: New strides in preventing intrusions.

Need help eliminating risk in your IT environment? This ForwardView webshow describes how security appliances, which incorporate an array of security functions, can help you ward off security breaches without...

Publisher:
IBM

IntelÂ® CentrinoÂ® 2 with vProÂ™ Technology and IntelÂ® CoreÂ™2 Processor with vProÂ™ Technology

This whitepaper explores how the latest notebook and desktop PCs with Intel® vPro™ technology build on proven capabilities to enable greater proactive security, enhanced maintenance, and improved remote management both...

Publisher:
Intel

Data Replication: Do More with your Data

Are you leveraging your data assets across your global enterprise? Sybase Replication Server moves and synchronizes data across the enterprise to meet a host of competing challenges in the...

Publisher:
Sybase

Tags:
voip - ip telephony

PCI DSS Compliance in the UNIX/Linux Datacenter Environment

This document explains how BeyondTrust PowerBroker supports the Payment Card Industry Data Security Standard (PCI DSS) by limiting and tracking authorization to execute commands and programs that access servers and...

Publisher:
BeyondTrust

Tags:
application security tools

Through the Fog: Who should protect you from viruses?

Firewalls eventually become ineffective if they are progressively opened up over the course of time as users request access via additional ports to run their favourite application or service. In the case of our notebooks, the metaphorical condom...

Gartner: Don't believe the tech security myths

As a stopgap measure, Williams said, processes for managing company- and employee-owned devices should be developed, and carriers should be required to describe their plans for 'in the cloud' network-based protection when responding to request for...

Channel:
Security Strategy
Tags:
gartner

Windows exploit code raises threat alert

Thomas noted in his posting: "While working on an exploit for MS05-047, I came across a condition where a specially crafted request to upnp-getdevicelist would cause services.exe to consume memory to a point where the target machine's virtual...

Hackers find security hole in wireless Windows

Microsoft had not responded to a request for comment at the time of writing. But if the user is patched or has a firewall, they are protected. Security experts on Monday confirmed the flaw exists but said it should not be a problem for those using...

Cracked: The Great Firewall of China

The IDS uses a stateless server, which examines each data packet both going in and out of the firewall individually, unrelated to any previous request. The researchers found it was possible to circumvent the Chinese intrusion detection systems (IDS...

'Tamper-proof' chip and PIN terminals hacked

Both devices were Visa-certified to be secure, which requires that defeating the tamper detection would cost more than $25,000 per PIN-entry device; or that inserting a PIN-stealing bug would be detected, or take more than 10 hours.

Featured White Papers

The Value of Location Intelligence in the Communications Industry

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 and government departments make more informed decisions and derive greater value from current location-based information and data. Read this whitepaper to see how you can take advantage of location intelligence.

Publisher:
Pitney Bowes

Best Practices for Translating Customer Satisfaction into Revenue

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. How do you quantify customer satisfaction? Download the Best Practices for Benchmarking Customer Satisfaction to get industry research the Association of Support Professionals (ASP) on how to measure and leverage customer satisfaction.

Publisher:
Citrix Online

HP print solutions and 3M

the objective for 3M was to optimize office printing infrastructure at 3Mlocations worldwide Reduce total cost and environmental footprint. Some of the business benefits acheived by switching to HP print soultions, More than $3 million in savings in first two years and Per page costs reduced by up to 90 percent.