Management of stateful firewall misconfiguration
详细信息 查看全文
- 作者：Joaquin Garcia-Alfaro ; Fr茅d茅ric Cuppens ; Nora Cuppens-Boulahia ; Salvador Martinez ; Jordi Cabot
- 关键词：Network security ; Access control ; Firewalls ; Stateless rules ; Stateful rules ; Iptables ; Netfilter ; Misconfiguration ; Anomalies ; Model-driven engineering
- 刊名：Computers and Security
- 出版年：November, 2013
- 年：2013
- 卷：39
- 期：part_PA
- 页码：64-85
- 全文大小：4823 K
文摘
Firewall configurations are evolving into dynamic policies that depend on protocol states. As a result, stateful configurations tend to be much more error prone. Some errors occur on configurations that only contain stateful rules. Others may affect those holding both stateful and stateless rules. Such situations lead to configurations in which actions on certain packets are conducted by the firewall, while other related actions are not. We address automatic solutions to handle these problems. Permitted states and transitions of connection-oriented protocols (in essence, on any layer) are encoded as automata. Flawed rules are identified and potential modifications are provided in order to get consistent configurations. We validate the feasibility of our proposal based on a proof of concept prototype that automatically parses existing firewall configuration files and handles the discovery of flawed rules according to our approach.