Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal Verification of Secure Information Flow in Cloud Computing

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



This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY-NC-ND).


Federated cloud systems increase the reliability and reduce the cost of computational support to an organization. However, the resulting combination of secure private clouds and less secure public clouds impacts on the overall security of the system as applications need to be located within di erent clouds. 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 introduced within which the Bell-LaPadula rules and cloud security rule can be captured. The rest of the paper demonstrates how Petri nets and the associated veri cationtechniques could be used to analyze the security of information flow in federated cloud systems.

Publication metadata

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

Publication type: Article

Publication status: Published

Journal: Journal of Information Security and Applications

Year: 2016

Volume: 27-28

Pages: 103-116

Online publication date: 11/04/2016

Acceptance date: 21/03/2016

Date deposited: 24/03/2016

ISSN (print): 2214-2126

ISSN (electronic): 2214-2134

Publisher: Elsevier Advanced Technology


DOI: 10.1016/j.jisa.2016.03.002


Altmetrics provided by Altmetric


Funder referenceFunder name