PT Unknown AU Beckert, B Hofheinz, D Müller-Quade, J Pretschner, A Snelting, G TI Software Security in Virtualized Infrastructures. The Smart Meter Example SE Karlsruhe Reports in Informatics (früher: Interner Bericht. Fakultät für Informatik, Karlsruher Institut für Technologie) PY 2010 DI 10.5445/IR/1000020452 LA english ER