Jean Bacon, David M. Eyers, Thomas F. J.-M. Pasquier, Jatinder Singh, Ioannis Papagiannis, Peter Pietzuch. Information Flow Control for Secure Cloud Computing. IEEE Transactions on Network and Service Management, 11(1):76-89, 2014. [doi]
Abstract is missing.