A formal model for virtual machine introspection.

Jonas Pfoh Christian A. Schneider Claudia Eckert

Published in: VMSec@CCS (2009)

Keyphrases

formal model
virtual machine
operating system
data center
computing resources
distributed computing
low latency
security properties
virtual memory
predicate calculus
multi tasking
computer systems
formal models
databases
cloud computing environment
java card
data processing
security patterns
database
java bytecode