Verifying Secure Information Flow in Federated Clouds.

Wen Zeng, Maciej Koutny, Paul Watson

Browse the full CloudCom paper archive.