Follow
Arash Eghtesadi
Title
Cited by
Cited by
Year
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
422012
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
142015
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
102012
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
82014
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
22015
Secure Virtual Machine Migration in Cloud Data Centers
A Eghtesadi
Concordia University, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–6