Provides classes that can be used to protect the host system from malicious Nachos kernels.