Describir: Portable ID Management Framework for Security Enhancement of Virtual Machine Monitors