KIT | KIT-Bibliothek | Impressum | Datenschutz

Software Security in Virtualized Infrastructures. The Smart Meter Example

Beckert, Bernhard ORCID iD icon; Hofheinz, Dennis; Müller-Quade, Jörn; Pretschner, Alexander; Snelting, Gregor


Future infrastructures for energy, traffic, and computing will be virtualized:They will consist of decentralized, self-organizing, dynamically adaptive, and open collections of physical resources such as virtual power plants or computing clouds.Challenges to software dependability, in particular software security will be enourmous. While the problems in this domain transcend any specific instantiation, we use the example of smart power meters to discuss advanced technologies for the protection of integrity and confidentiality of software and data in virtualized infrastructures.We show that approaches based on homomorphic encryption, deductive verification, information flow control, and runtime verification are promising candidates for providing solutions to a plethora of representative challenges in the domain of virtualized infrastructures.

Volltext §
DOI: 10.5445/IR/1000020452
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Forschungsbericht/Preprint
Publikationsjahr 2010
Sprache Englisch
Identifikator ISSN: 2190-4782
KITopen-ID: 1000020452
Serie Karlsruhe Reports in Informatics (früher: Interner Bericht. Fakultät für Informatik, Karlsruher Institut für Technologie) ; 2010,20
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page