构件化动态可扩展操作系统的内核安全模型

摘要

灵活内核技术把构件技术充分地融入到了操作系统体系结构的设计中,在兼顾了性能和灵活性的同时也引入了安全问题.对灵活内核带来的安全问题进行了分析,讨论了几种现有的解决内核安全问题的技术,综合几种现有技术设计了一种基于页表机制和构件技术的内核安全模型,介绍了其在Intel x86处理器上的原型实现要点,最后对该模型进行了分析,说明其解决了所提出的安全问题.