Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Software Security in Virtualized Infrastructures – The Smart Meter Example

Technical Report
Author(s):Bernhard Beckert, Dennis Hofheinz, Jörn Müller‑Quade, Alexander Pretschner, and Gregor Snelting
Institution:Karlsruhe Institute of Technology
Number:2010-20
Year:2010

Note

Available at https://publikationen.bibliothek.kit.edu/1505594

BibTeX

@techreport{BeckertEATechReport2010,
  author =      {Bernhard Beckert and Dennis Hofheinz and J\"{o}rn M\"{u}ller-Quade
                 and Alexander Pretschner and Gregor Snelting},
  title =       {Software Security in Virtualized Infrastructures -- The Smart Meter Example},
  institution =  {Karlsruhe Institute of Technology},
  number =       {2010-20},
  note =         {Available at https://publikationen.bibliothek.kit.edu/1505594},
  year =         {2010},
  month =        dec,
  issn =	 {2190-4782}
}