Yosr Jarraya, Arash Eghtesadi, Sahba Sadri, Mourad Debbabi, Makan Pourzandi. Verification of firewall reconfiguration for virtual machines migrations in the cloud. Computer Networks, 93:480-491, 2015. [doi]
@article{JarrayaESDP15,
title = {Verification of firewall reconfiguration for virtual machines migrations in the cloud},
author = {Yosr Jarraya and Arash Eghtesadi and Sahba Sadri and Mourad Debbabi and Makan Pourzandi},
year = {2015},
doi = {10.1016/j.comnet.2015.10.008},
url = {http://dx.doi.org/10.1016/j.comnet.2015.10.008},
researchr = {https://researchr.org/publication/JarrayaESDP15},
cites = {0},
citedby = {0},
journal = {Computer Networks},
volume = {93},
pages = {480-491},
}