Formalizing Threat Models for Virtualized Systems - Sgandurra, D; Karafili, E; Lupu, EC (Springer International Publishing, 2016)