Browse by author
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.
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1387.pdf
