Takahiro Shinagawa Hideki Eiraku Kouichi Tanimoto Kazumasa Omote Shoichi Hasegawa Takashi Horie Manabu Hirano Kenichi Kourai Yoshihiro Oyama Eiji Kawai Kenji Kono Shigeru Chiba Yasushi Shinjo Kazuhiko Kato BitVisor: a thin hypervisor for enforcing i/o device security. 121-130 2009 VEE http://doi.acm.org/10.1145/1508293.1508311 conf/vee/2009 db/conf/vee/vee2009.html#ShinagawaETOHHHKOKKCSK09