On mySimon: Science Diet Sensitive Stomach Formula
BNET Business Network:
BNET
TechRepublic
ZDNet

FREE Registration is required

Overview:

Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are very common and significantly weaken the desired security. This paper introduces FIREMAN, a static analysis toolkit for firewall modeling and analysis. By treating firewall configurations as specialized programs, FIREMAN applies static analysis techniques to check misconfigurations, such as policy violations, inconsistencies, and inefficiencies, in individual firewalls as well as among distributed firewalls. FIREMAN performs symbolic model checking of the firewall configurations for all possible IP packets and along all possible data paths. It is both sound and complete because of the finite state nature of firewall configurations.

(Is this item miscategorized? Does it need more tags? Let us know.)

Format:PDFSize:358 KB
Date:Mar 2006
Pages:15

People who downloaded this item also downloaded

White Paper VoIP Phone Hardening - Part 1
Webcast The Next-Generation Firewall: Driving Productivity, Security & Efficiencies
White Paper Why Install IPv6 Instead Of IPv4?
White Paper Enhancements to the Vantage Firewall Analyzer
White Paper Firewall Policy Advisor for Anomaly Discovery and Rule Editing

Top results from Firewalls

White Paper How to Replicate the Fire: HA for Netfilter Based Firewalls
White Paper Better Security through Access-List Management
White Paper VoIP Phone Hardening - Part 1
White Paper Integrating the Cisco Unified Presence Server in Your Unified Communications Network
White Paper IOS Tips and Tricks

» View all Firewalls listings

advertisement

White Papers, Webcasts, and Resources

Featured Training Courses

advertisement

SmartPlanet

Click Here

Returning users: Log In Here!

Already registered on BNET, TechRepublic, or ZDNet? Simply log in.

Free Membership: Sign Up Now!

Sign up for a free membership today and get instant and unlimited access to one of the largest databases of white papers, webcasts, and casestudies anywhere. Your FREE membership allows you to:

  • Download an unlimited amount of content, including classic and current white papers, case studies, webcasts and more
  • Track content on your chosen topics of interest
  • Receive targeted email alerts when your favorite content is added
  • Save content for future reading
  • Receive our member newsletter

When you register to access this library, you allow us to share your information with companies that produce products or services featured in the library--so that such companies may contact you with information and offers regarding their products and services. This enables us to keep the library a free service. As a library registrant, you will receive a complimentary subscription to the ZDNet white paper newsletter and e-mail Must-Read News Alerts. You can unsubscribe from these at any time. By clicking the Sign up button, you indicate that you agree to our Terms and Conditions and have read and understand our Privacy Policy (updated).