Toggle Main Menu Toggle Search

Open Access padlockePrints

Verifying Secure Information Flow in Federated Clouds

Lookup NU author(s): Wen Zeng, Professor Maciej KoutnyORCiD, Professor Paul WatsonORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Federated cloud systems increase the reliability and reduce the cost of computational support to an organization. However, the resulting combinationof secure private clouds and less secure public clouds impacts on the security requirements of the system. Therefore, applications need to be located within different clouds, which strongly affects the information flow security of the entire system. In this paper, the entities of a federated cloud system as well as the clouds are assigned security levels of a given security lattice. Then a dynamic flow sensitive security model for a federated cloud system is proposed within which the Bell-LaPadula rules and cloud security rule can be captured. As a result, one can track and verify the security information flow in federated clouds. Moreover, an example is used to explain how Petri nets could be used to represent such a system, making it possible to verify secure information flow in federated clouds using the existing Petri net techniques.

Publication metadata

Author(s): Zeng W, Koutny M, Watson P

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: IEEE 6th International Conference on Cloud Computing Technology and Science (CloudCom)

Year of Conference: 2014

Pages: 78-85

Print publication date: 09/02/2015

Online publication date: 12/02/2015

Acceptance date: 21/09/2014

Publisher: IEEE


DOI: 10.1109/CloudCom.2014.104

Library holdings: Search Newcastle University Library for this item

ISBN: 9781479940929