Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud.

Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang, Makan Pourzandi

Browse the full SSS paper archive.