information flow control

End-to-end application security in the cloud explores the use of Information Flow Control to achieve greater security in cloud computing.