Concepedia
Computer Communications · 2006 · 11 citations · 2 references
Mathematical ProgrammingFormal SpecificationEngineeringLogical Access ControlAutomated ReasoningAccess ControlFormal MethodsComputer EngineeringComputer ScienceAcl OptimisationFormal VerificationData SecurityCryptography
2
Detecting and resolving packet filter conflicts
Subhash Suri, Gurudatta M. Parulkar · 2002 · 246 citations
Reachability Analysis, Network Flows, Packet Filter Conflicts +15
Modeling and Management of Firewall Policies
Ehab Al‐Shaer, H. Hamed · IEEE Transactions on Network and Service Management · 2004 · 207 citations
Security Modelling, Software Security, Engineering +14