Browse by author
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 vericationtechniques could be used to analyze the security of information flow in federated cloud systems.
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
URL: http://dx.doi.org/10.1016/j.jisa.2016.03.002
DOI: 10.1016/j.jisa.2016.03.002
Altmetrics provided by Altmetric
