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? 2 out of 5 users found this white paper useful

Balancing Security Against Productivity

Publisher:
Novell

Security: New strides in preventing intrusions.

Publisher:
IBM

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

Publisher:
Novell

Secure Desktop On-Demand Webcast

Publisher:
Novell

Total Endpoint Protection: Lower Costs and Increase Compliance

Publisher:
McAfee

Tags:
firewalls

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

If mobile workers need "softphones" - software that simulates a real phone - ensure their notebooks are protected by personal firewalls and other mechanisms, he said. When combined with best practices for mobile endpoints, including disabling file...

Channel:
Security Strategy
Tags:
gartner

Windows exploit code raises threat alert

Microsoft has yet to develop a security patch for this exploit but it recommended that users enable their firewalls and download security updates, according to its security advisory. Thomas noted in his posting: "While working on an exploit for...

Hackers find security hole in wireless Windows

Security experts on Monday confirmed the flaw exists but said it should not be a problem for those using firewalls. MessageLabs also recommended individual teleworkers be given personal firewalls. Microsoft had not responded to a request for...

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. Computer experts from the University of Cambridge claim not only to have breached the Great...

'Tamper-proof' chip and PIN terminals hacked

Researchers from Cambridge University have succeeded in capturing both PIN numbers and card details from supposedly tamper-proof PIN terminals. Both terminals have tamper-proof mechanisms inside, but both can be circumvented by tapping the data...

Live Webcast: Telecoms 2.0 - Where is telecoms heading?

In this webcast, our panel of experts will review where we are with next generation telecoms in the UK, working through the concept of 'Telecoms 2.0': - Realising the potential of Next Generation Networks - why it isn't just about the technology? - What attributes should firms be looking for in their telco partner? - Is the relationship between telco provider and customer changing? - What things need to happen to make next generation services a reality? - You say you want the supplier to change. Do you want to change too? - What is Telecoms 2.0?

Publisher:
ZDNet UK

Telecom 2.0: Mind over matter

ntl:Telewest Business believes that the role of the telco is evolving. Gone are the days when it was enough to simply focus on circuits and minutes, customers now need a far higher degree of interaction and look for suppliers who will talk business solutions with them.

Publisher:
ntl:Telewest Business

IBM Information Server Change Data Capture

In today's fast-paced world, access to real-time data has never been more important. To be successful, organizations need to be able to report and analyze corporate data quickly and easily, regardless of what applications created the data, what platform they're running on, or what database they're stored in.

Publisher:
IBM

An examination of server consolidation: the trends that can drive efficiencies and help businesses gain a competitive edge

This white paper provides a starting point for organizations contemplating server consolidation. It includes an overview of server consolidation concepts and techniques and provides guidance on methodologies. It also looks at the potential cost savings associated with server consolidation and offers information on how organizations can sustain the advantage they have gained by consolidating their servers.

Publisher:
IBM

Also on silicon.com

Site Navigation:

Firewalls White Papers

Formal Correctness of Conflict Detection for Firewalls

Quick Sitemap Links:

About Us

Search

Blogs

Verticals

Advertising Features

CNET Networks in Europe

CNET Networks in the United States

CNET Networks in Asia Pacific