Publication | Closed Access
Algorithms for improving the dependability of firewall and filter rule lists
83
Citations
10
References
2002
Year
Unknown Venue
EngineeringInformation SecurityNext-generation FirewallNetwork FirewallsSoftware AnalysisFormal VerificationHardware SecurityFilter Rule ListsData MiningSystems EngineeringNetwork SecurityRule LanguageComputer EngineeringRoutingFirewall (Computing)Computer ScienceData SecurityRule DatabasesReachability AnalysisRule InductionFormal MethodsRule-based SystemRule Database
Network firewalls and routers use a rule database to decide which packets will be allowed from one network on to another. By filtering packets, the firewalls and routers can improve security and performance. However, as the size of the rule list increases, it becomes difficult to maintain and validate the rules, and lookup latency may increase significantly. Both these factors tend to limit the ability of firewall systems to protect networks. This paper presents a new technique for representing rule databases. This representation (based on ordered binary decision diagrams) can be used in two ways: faster lookup algorithms can allow larger rule sets to be used without sacrificing performance; and algorithms for validating rule sets and changes to rule sets can be used. The overall dependability of the system is improved by allowing larger and more sophisticated rules sets, and by having greater confidence in the rule sets' correctness.
| Year | Citations | |
|---|---|---|
Page 1
Page 1