A Flow Sensitive Security Model for Cloud Computing Systems
  The extent and importance of cloud computing is rapidly increasing due to the ever increasing demand for internet services and communications. Instead of building individual information technology infrastructure to host databases or software, a third party can host them in its large server clouds. Large organizations may wish to keep sensitive information on their more restricted servers rather than in the public cloud. This has led to the introduction of federated cloud computing (FCC) in which both public and private cloud computing resources are used. 
Wen Zeng, Chunyan Mu, Maciej Koutny, Paul Watson
cs.CR cs.DC