On CHOW: This beer is perfect
BNET Business Network:
BNET
TechRepublic
ZDNet

FREE Registration is required

Overview:

Firewalls are core elements in network security, the effectiveness of firewall security is dependent on configuring firewall policy correctly. Firewall policy is a lower-level policy which describes how firewall actually implements security policy. Security policy is a higher-level policy which defines the access that will be permitted or denied from the trusted network. Compare with software engineer, security policy is a design, firewall policy is a set of codes. It is useful to discover inconsistency between security policy and firewall Policy. This paper presents a method of verifying consistency between security policy and firewall policy, which applies the idea of model checking. First of all, two policies and the consistency are represented with logic programs.

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

Format:PDFSize:709 KB
Date:Oct 2008
Pages:5

Top results from Network Security

White Paper The Essential Guide: Real-Time High Availability for Exchange - Replicate Exchange Data for Improved Resiliency
Webcast Live Webcast: Web Attacks: How Hackers Create and Spread Malware
White Paper Practical Approaches for Securing Web Applications across the Software Delivery Lifecycle
Webcast Webcast: Smart Techniques for application security: whitebox + blackbox testing.
White Paper Managing a growing threat: An Executive's Guide to Web Application Security

» View all Network Security listings

Top results from Security Management

White Paper The Essential Guide: Real-Time High Availability for Exchange - Replicate Exchange Data for Improved Resiliency
Case Study Jeweler Moves to Online Services to Boost Productivity and Cut Costs by 90 Percent
Webcast Live Webcast: Web Attacks: How Hackers Create and Spread Malware
Webcast E-Business Suite Spotlight Video
White Paper Practical Approaches for Securing Web Applications across the Software Delivery Lifecycle

» View all Security Management listings

advertisement

White Papers, Webcasts, and Resources

Featured Training Courses

advertisement

Meet Doc

  • Here to help you with your Document Management Needs
  • Doc is an enigma. Born to a Russian ballerina and a German electrical engineer, he grew up in various locations in the United States. He’s seen the insides of more brands, versions, and generations of printer and printer-related hardware than almost anyone.
  • To learn more about this mysterious figure check out his blog on ZDNet and his Workspace on TechRepublic. You’ll be glad you did.
  • Produced by
    ZDNet and

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).