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. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1524/itit.2011.0636 | IT-INFORMATION TECHNOLOGY |
Keywords | Field | DocType |
D [Software], virtualized infrastructures, e-energy, smart meters, software security, homomorphic encryption, proof-carrying code, information flow control, deductive verification, runtime verification | Homomorphic encryption,Information flow (information theory),Dependability,Smart power,Computer science,Software security assurance,Computer security,Computer network,Runtime verification,Software,Smart meter | Journal |
Volume | Issue | ISSN |
53 | 3 | 1611-2776 |
Citations | PageRank | References |
0 | 0.34 | 12 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bernhard Beckert | 1 | 862 | 86.50 |
Dennis Hofheinz | 2 | 1540 | 71.76 |
Jörn Müller-Quade | 3 | 361 | 38.34 |
Alexander Pretschner | 4 | 1585 | 137.50 |
Gregor Snelting | 5 | 982 | 94.40 |