This work explores the possibilities and implications of bridging the semantic gap between the hypervisor and its virtual machines to support security applications using a technique called virtual machine introspection (VMI). We define a formal model for VMI to describe and compare such approaches. We then propose, implement and evaluate a novel VMI framework that applies knowledge of the operating system and derived through a source code analysis to reconstruct the kernel state from physical memory.     «

This work explores the possibilities and implications of bridging the semantic gap between the hypervisor and its virtual machines to support security applications using a technique called virtual machine introspection (VMI). We define a formal model for VMI to describe and compare such approaches. We then propose, implement and evaluate a novel VMI framework that applies knowledge of the operating system and derived through a source code analysis to reconstruct the kernel state from physical...     »

Diese Arbeit erkundet die Möglichkeiten, wie die semantische Lücke zwischen Hypervisor und virtueller Maschine mittels einer Technik namens Virtual-Machine-Introspection (VMI) für Sicherheitsanwendungen überbrückt werden kann. Wir definieren ein formales Modell, mit welchem sich VMI-Ansätze beschreiben und vergleichen lassen. Wir schlagen dann ein neuartiges VMI-System vor, das den Zustand des Kernels durch Betriebssystemwissen sowie durch eine Quellcode-Analyse aus dem physischen Arbeitsspeicher rekonstruieren kann.     «

Diese Arbeit erkundet die Möglichkeiten, wie die semantische Lücke zwischen Hypervisor und virtueller Maschine mittels einer Technik namens Virtual-Machine-Introspection (VMI) für Sicherheitsanwendungen überbrückt werden kann. Wir definieren ein formales Modell, mit welchem sich VMI-Ansätze beschreiben und vergleichen lassen. Wir schlagen dann ein neuartiges VMI-System vor, das den Zustand des Kernels durch Betriebssystemwissen sowie durch eine Quellcode-Analyse aus dem physischen Arbeitsspeic...     »