|Presentation Date||February 7, 2012|
|Topic(s)||Expert Systems, Firewalls, Decision Trees|
Firewalls are a common tool to defend against malicious sites and services on the internet. They examine data packets traveling between inner and outer networks. Firewalls are most often configured with a set of predicate logic rules. These rules are configured into a decision tree, and packets are compared against the set of rules to determine whether they should be transferred or blocked. A paper by Pasi Eronen and Jukka Zittin discusses the use of constraint logic programming to analyze the logical rules of a firewall for accuracy and usefulness. With the ubiquity of firewall usage, it is important that we as internet users understand what tools are being used to protect our networks, and what topics in the field of knowledge based systems have been applied to improve these tools.
 Eronen, Pasi and Zitting, Jukka "An expert system for analyzing ﬁrewall rules"
 Ngu, Ma, Gouda, and Liu "Firewall Queries"
 "Definition - Firewall"
 Simonis, Helmut "Constraint Logic Programming "