The epistemology of computer security
SubVirt: implementing malware with virtual machines