期刊文献+

微内核用户级驱动设计与实现

The Design and Implementation of User-level Device Driver in Micro-kernel OS
下载PDF
导出
摘要 随着IT技术的不断发展,出现了越来越多的新设备,操作系统为了保持对这些新设备以及已有老设备的支持,其内核就要加入越来越多的驱动代码,驱动代码的加入使得原本已经复杂的内核更加庞大,且这些代码可能潜伏着许多漏洞,威胁系统安全。而微内核系统将设备驱动独立于用户空间,不再处于内核中,使得设备驱动不会影响到内核的安全,这种设计对于减少系统安全威胁帮助很大。 With the development of the technology ,there are more and more new devices .In order to support these new devices and the older devices ,a mount of driver codes have been added to the OS kernel .It makes the kernel more compli-cated .And the drivers may have some potential bugs ,which threat the security of the system .But in the micro-kernel OS ,the device drivers are isolated in the user-level address space .So the drivers can no longer affect the kernel’s securi-ty .It’s helpful to reduce the security threat of the system .
作者 官水旺
出处 《软件导刊》 2014年第9期72-74,共3页 Software Guide
基金 国家863计划(2011AA01A202)
关键词 VTOS微内核系统 操作系统 驱动限制 Micro-kernel Operating System User-level Driver Isolation
  • 相关文献

参考文献2

二级参考文献44

  • 1卿斯汉,朱继锋.安胜安全操作系统的隐蔽通道分析[J].软件学报,2004,15(9):1385-1392. 被引量:19
  • 2卿斯汉.高安全等级安全操作系统的隐蔽通道分析[J].软件学报,2004,15(12):1837-1849. 被引量:31
  • 3Ben Leslie,Peter Chubb,Nicholas Fitzroy-Dale,Stefan Gotz,Charles Gray,Luke Macpherson,Daniel Potts,Yue-Ting Shen,Kevin Elphinstone,Gernot Heiser.User-Level Device Drivers: Achieved Performance[J].Journal of Computer Science & Technology,2005,20(5):654-664. 被引量:7
  • 4周巢尘.形式语义学引论[M].长沙:湖南科学技术出版社,1985.
  • 5Clarke E M, Grumberg O, Peled D. Model Checking[M]. Cambridge, USA: The MIT Press, 1999.
  • 6Guenthner F. Handbook of Philosophical Logic[M]. Berlin, Germany: Springer, 2007.
  • 7Tanenbaum A S. The Minix Project[EB/OL]. [2011-03-12]. http:// www.minix3.org/.
  • 8Rashid R, Julin D, Orr D, et al. Math: A System Software Kemel[C]//Proc. of COMPCON'89. San Francisco, USA: [s. n.], 1989: 176-189.
  • 9Liedtke J. On μ-kemel Construetion[C]//Proc. of SOSP'95. New York, USA: ACM Press, 1995: 237-250.
  • 10Dorenb/tcher J. Vamos Microkemel: Formal Models and Verifica- tion[EB/OL]. [2011-03-12]. http://www.cse.unsw.edu.au/~formal methods/events/svws-06/VAMOS_Mierokemel.pdf.

共引文献6

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部