Article
Licensed
Unlicensed Requires Authentication

Software Security in Virtualized Infrastructures — The Smart Meter Example

  • , , , and
Published/Copyright: May 12, 2011
it - Information Technology
From the journal it - Information Technology Volume 53 Issue 3

Abstract

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 enormous. 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, proof-carrying code, information flow control, deductive verification, and runtime verification are promising candidates for providing solutions to a plethora of representative challenges in the domain of virtualized infrastructures.

Zusammenfassung

Zukünftige Infrastrukturen für Energie, Verkehr und Computing werden virtualisiert sein: sie werden aus dezentralisierten, selbstorganisierenden, dynamisch adaptiven und offenen Verbänden physischer Resourcen wie etwa virtuelle Kraftwerke oder Computing Clouds bestehen. Die Herausforderungen an Verlässlichkeit der Software, insbesondere an Software-Sicherheit werden enorm sein. Wir diskutieren am Beispiel intelligenter Stromzähler zukünftige Technologien zum Schutz von Integrität und Vertraulichkeit von Software und Daten in virtualisierten Infrastrukturen. Wir zeigen, dass homomorphe Kryptographie, beweistragender Code, Informationsflusskontrolle, deduktive Verifikation und Laufzeitverifikation ein hohes Potential haben, Lösungen für eine Fülle von Herausforderungen im Bereich der virtualisierten Infrastrukturen zu liefern.

Keywords: virtualized infrastructures; e-energy; smart meters; software security; homomorphic encryption
* Correspondence address: Institute for Programming Structures and Data Organisation - KIT, Adenauerring 20a, 76131 Karlsruhe, Deutschland,
Published Online: 2011-05-12
Published in Print: 2011-05

© by Oldenbourg Wissenschaftsverlag, Karlsruhe, Germany

Articles in the same Issue

  1. Knowledge Processes and Services
  2. Enhancing Social Interactions at Conferences
  3. Towards Social Crowd Environments Using Service-Oriented Architectures
  4. Linked Open Data Perspectives: Incorporating Linked Open Data into Information Extraction on the Web
  5. Measuring Knowledge Management Success: Development and Test of a Theory-Based Measuring Model
  6. Broadening Participation in Knowledge Management in Enterprise 2.0
  7. Software Security in Virtualized Infrastructures — The Smart Meter Example
  8. Self-Learning Network Intrusion Detection
  9. (Weiblichen) Nachwuchs? Gewinnen! — Informatik, Jugend, Wettbewerbe und mehr
https://doi.org/10.1524/itit.2011.0636
Keywords for this article
virtualized infrastructures; e-energy; smart meters; software security; homomorphic encryption

Articles in the same Issue

  1. Knowledge Processes and Services
  2. Enhancing Social Interactions at Conferences
  3. Towards Social Crowd Environments Using Service-Oriented Architectures
  4. Linked Open Data Perspectives: Incorporating Linked Open Data into Information Extraction on the Web
  5. Measuring Knowledge Management Success: Development and Test of a Theory-Based Measuring Model
  6. Broadening Participation in Knowledge Management in Enterprise 2.0
  7. Software Security in Virtualized Infrastructures — The Smart Meter Example
  8. Self-Learning Network Intrusion Detection
  9. (Weiblichen) Nachwuchs? Gewinnen! — Informatik, Jugend, Wettbewerbe und mehr
Downloaded on 11.4.2026 from https://www.degruyterbrill.com/document/doi/10.1524/itit.2011.0636/html
Scroll to top button