Building a trusted computing base
Para(Virtualization)