Sören Bleikertz, Thomas Groß, Matthias Schunter, Konrad Eriksson. Automated Information Flow Analysis of Virtualized Infrastructures. In Vijay Atluri, Claudia Díaz, editors, Computer Security - ESORICS 2011 - 16th European Symposium on Research in Computer Security, Leuven, Belgium, September 12-14, 2011. Proceedings. Volume 6879 of Lecture Notes in Computer Science, pages 392-415, Springer, 2011. [doi]
Abstract is missing.