Flora Amato, Francesco Moscato 0001, Vincenzo Moscato, Francesco Colace. Improving security in cloud by formal modeling of IaaS resources. Future Generation Comp. Syst., 87:754-764, 2018. [doi]
@article{AmatoMMC18,
title = {Improving security in cloud by formal modeling of IaaS resources},
author = {Flora Amato and Francesco Moscato 0001 and Vincenzo Moscato and Francesco Colace},
year = {2018},
doi = {10.1016/j.future.2017.08.016},
url = {https://doi.org/10.1016/j.future.2017.08.016},
researchr = {https://researchr.org/publication/AmatoMMC18},
cites = {0},
citedby = {0},
journal = {Future Generation Comp. Syst.},
volume = {87},
pages = {754-764},
}