Sören Bleikertz, Thomas Groß, Sebastian Mödersheim. Automated verification of virtualized infrastructures. In Christian Cachin, Thomas Ristenpart, editors, Proceedings of the 3rd ACM Cloud Computing Security Workshop, CCSW 2011, Chicago, IL, USA, October 21, 2011. pages 47-58, ACM, 2011. [doi]
Abstract is missing.