• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊
论文

Research of Device Driver HardeningBased on the Virtual Machine Technology

Expand
  • (School of Computer Science,National University of Defense Technology,Changsha 410073,China)

Received date: 2009-02-25

  Revised date: 2009-06-28

  Online published: 2010-11-25

Abstract

To improve the reliability and robustness of commodity operating systems, it is very important to improve the reliability of the device drivers in operating systems. Currently, the research of improving the reliability of device drivers focuses on the efficient isolation of the device driver and the operating system kernel. We first design a new device driver framework VHarden based on the virtual machine technology, and then focus on a data transfer mechanism and the domain protection techniques. We implement the VHarden prototype using Xen and Linux. Finally, we use fault injection tools to test it. The results show that the VHarden framework is useful in improving the reliability of commodity operating systems.

Cite this article

WU Qingbo,YAN Yuejin,ZHANG Yajun,WU Quanyuan . Research of Device Driver HardeningBased on the Virtual Machine Technology[J]. Computer Engineering & Science, 2010 , 32(11) : 124 -127 . DOI: 10.3969/j.issn.1007130X.2010.

Outlines

/