SecMon: A Secure Introspection Framework for Hardware Virtualization | IEEE Conference Publication | IEEE Xplore