| Verification of firewall reconfiguration for virtual machines migrations in the cloud | 2 | 0.36 | 2015 |
| Cloud calculus: Security verification in elastic cloud computing platform. | 12 | 0.68 | 2012 |
| Formal verification of security preservation for migrating virtual machines in the cloud | 3 | 0.40 | 2012 |
