Safe device driver model based on kernel-mode JVM. - Chen, Shan; Zhou, Lingling; Ying, Rendong; Ge, Yi (2007)