Daniele Sgandurra, Erisa Karafili, Emil Lupu. Formalizing Threat Models for Virtualized Systems. In Silvio Ranise, Vipin Swarup, editors, Data and Applications Security and Privacy XXX - 30th Annual IFIP WG 11.3 Conference, DBSec 2016, Trento, Italy, July 18-20, 2016. Proceedings. Volume 9766 of Lecture Notes in Computer Science, pages 251-267, Springer, 2016. [doi]
Abstract is missing.