Wen Zeng, Maciej Koutny, Paul Watson. Verifying Secure Information Flow in Federated Clouds. In IEEE 6th International Conference on Cloud Computing Technology and Science, CloudCom 2014, Singapore, December 15-18, 2014. pages 78-85, IEEE, 2014. [doi]
Abstract is missing.