2006 · 17 citations · 7 references
EngineeringInformation SecurityLawSecurity EvaluationFormal VerificationSecure ProtocolPolicy ConflictNetwork SecurityPublic PolicyRedundancy ConflictSecurity TheoryData PrivacyComputer ScienceData SecurityNational SecurityCryptographyIpsec Policy ConfigurationSecurity GovernanceSecuritySecurity MeasurementComputer Security Model
IPSec has been proposed to provide integrity, confidentiality and authentication of data communications over IP networks. However, the complex semantics of IPSec policies results in potential conflicts, such as shielding conflict, redundancy conflict and overlapping conflict, et al. The conflict should be identified and detected to avoid Internet security threat. However, there has no research on identifying and defining IPSec security policy conflict formally and comprehensively. So it is necessary to give a depth analysis on policy conflict. Therefore, the paper presents a generic model that represents IPSec security policy semantics. Based on it, we classify and define conflicts formally that may exist in a single IPSec device or in some tunnels between different IPSec devices. That the conflict analysis is comprehensive is proved also. The research provides theoretical foundation for policy conflict detection and prevention in IPSec policy configuration
7
Discovery of policy anomalies in distributed firewalls
Ehab Al‐Shaer, H. Hamed · 2005 · 372 citations
Engineering, Firewall Policy Anomalies, Information Security +13
Fang: a firewall analysis engine
Alain Mayer, Avishai Wool, Elisha Ziskind · 2002 · 269 citations
Engineering, Information Security, Next-generation Firewall +20
An expert system for analyzing firewall rules
Pasi Eronen, Jukka Zitting · 2001 · 134 citations