Cloud calculus: Security verification in elastic cloud computing platform Y Jarraya, A Eghtesadi, M Debbabi, Y Zhang, M Pourzandi 2012 international conference on collaboration technologies and systems (CTS …, 2012 | 42 | 2012 |
Verification of firewall reconfiguration for virtual machines migrations in the cloud Y Jarraya, A Eghtesadi, S Sadri, M Debbabi, M Pourzandi Computer Networks 93, 480-491, 2015 | 14 | 2015 |
Formal verification of security preservation for migrating virtual machines in the cloud Y Jarraya, A Eghtesadi, M Debbabi, Y Zhang, M Pourzandi Symposium on Self-Stabilizing Systems, 111-125, 2012 | 10 | 2012 |
Preservation of security configurations in the cloud A Eghtesadi, Y Jarraya, M Debbabi, M Pourzandi 2014 IEEE International Conference on Cloud Engineering, 17-26, 2014 | 9 | 2014 |
Towards migrating security policies of virtual machines in Software Defined Networks S Sadri, Y Jarraya, A Eghtesadi, M Debbabi Proceedings of the 2015 1st IEEE Conference on Network Softwarization …, 2015 | 2 | 2015 |
Secure Virtual Machine Migration in Cloud Data Centers A Eghtesadi Concordia University, 2013 | | 2013 |