Analyzing and resolving anomalies in firewall security policies based on propositional logic

@article{Rezvani2009AnalyzingAR,
  title={Analyzing and resolving anomalies in firewall security policies based on propositional logic},
  author={Mohsen Rezvani and Ramtin Aryan},
  journal={2009 IEEE 13th International Multitopic Conference},
  year={2009},
  pages={1-7}
}
Firewalls are essential components in network security solutions. In order to implement correct security policy, the anomalies in firewall rules should be analyzed carefully, especially in enterprise network. In this paper, we present a new formal framework for analysis and resolution of anomalies in firewall rules. First of all, a formal model based on propositional logic is presented to specify rules. Then we specify all anomalies that identified in the latest researches based on our model… CONTINUE READING

Citations

Publications citing this paper.