Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang, Makan Pourzandi. Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud. In Andréa W. Richa, Christian Scheideler, editors, Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings. Volume 7596 of Lecture Notes in Computer Science, pages 111-125, Springer, 2012. [doi]
Abstract is missing.