Verification of firewall reconfiguration for virtual machines migrations in the cloud

Conflict classification and analysis of distributed firewall policies

Ehab Al‐Shaer, H. Hamed, Raouf Boutaba et al. · IEEE Journal on Selected Areas in Communications · 2005 · 288 citations

Computing, Computer Science, Cybersecurity +16

Network configuration in a box: towards end-to-end verification of network reachability and security

Ehab Al‐Shaer, Will Marrero, Adel El‐Atawy et al. · 2009 · 164 citations

Computing, Computer Engineering, Computer Science +17

A Model of Stateful Firewalls and Its Properties

Mohamed G. Gouda, A.X. Liu · 2005 · 91 citations

Computing, Computer Systems, Computer Networks +12

Cloud calculus: Security verification in elastic cloud computing platform

Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi et al. · 2012 · 33 citations

Computing, Cloud Computing, Cybersecurity +14

Verification of Distributed Firewalls

Mohamed G. Gouda, Alex X. Liu, Mansoor Jafry · 2008 · 24 citations

Computing, Computer Science, Computer Systems +9