Improving security in cloud by formal modeling of IaaS resources

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]

Abstract

Abstract is missing.