A Formal Model for Isolation Management in Cloud Infrastructure-as-a-Service

Khalid Zaman Bijon, Ram Krishnan, Ravi S. Sandhu. A Formal Model for Isolation Management in Cloud Infrastructure-as-a-Service. In Man Ho Au, Barbara Carminati, C. C. Jay Kuo, editors, Network and System Security - 8th International Conference, NSS 2014, Xi'an, China, October 15-17, 2014, Proceedings. Volume 8792 of Lecture Notes in Computer Science, pages 41-53, Springer, 2014. [doi]

Abstract

Abstract is missing.