微内核操作系统的历史回顾与发展趋势分析
对微内核操作系统的历史发展进行回顾,详细阐述了第一代微内核、第二代微内核和第三代微内核的特点及其各自具有代表性的微内核系统.通过分析近年来微内核在虚拟化、形式化验证和安全性等重点领域的发展情况,得出微内核系统已经成熟并产品化,安全操作系统是微内核未来发展的重要方向的结论.
操作系统 微内核技术 安全保证
程广辉 邓畅
中国电子科技集团公司第三十二研究所,上海 200233
国内会议
上海
中文
53-56
2014-11-01（万方平台首次上网日期，不代表论文的发表时间）