A Secure and Formally Verified Linux KVM Hypervisor.

Shih-Wei Li Xupeng Li Ronghui Gu Jason Nieh John Zhuang Hui

Published in: IEEE Symposium on Security and Privacy (2021)

Keyphrases

operating system
security mechanisms
virtual machine
computer systems
microsoft windows
distributed systems
command line
linux kernel
computing resources
security protocols
windows nt
covert channel
standard model
database systems
security requirements
lightweight
identity management