Performance Analysis of Virtual Machine Introspection Tools in Cloud Environment
A formal model for virtual machine introspection