Toggle Main Menu Toggle Search

Open Access padlockePrints

A Flow Sensitive Security Model for Cloud Computing Systems

Lookup NU author(s): Wen Zeng, Dr Chunyan Mu, Professor Maciej KoutnyORCiD



Federated cloud systems increase the reliability and reduce the cost of computational support to an organization. The resulting combination of secure private clouds and less secure public clouds impacts on the security requirements of the system. To meet these security requirements, applications need to be located within different clouds, which strongly affects the information flow security of the entire system. In this paper, a flow sensitive security model for a federated cloud system is proposed, secure information flow in such a system is analyzed using coloured Petri nets, and opacity of cloud computing systems is introduced. In this study, the entities of a federated cloud system are assigned security levels of a given flow lattice. A transition system is used to describe the behavior of the system, and coloured Petri nets are used to analyze the correctness of the entire system. As a result, one can track the information flow. Moreover, one can analyze the impact of different resource allocation strategies, and the opacity of the system.

Publication metadata

Author(s): Zeng W, Mu C, Koutny M

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2013

Pages: 12

Print publication date: 01/06/2013

Source Publication Date: June 2013

Report Number: 1387

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne