微内核操作系统的历史回顾与发展趋势分析

第40卷 增 刊 计算机工程 ·体系结构与软件技术· 及其各自具有代表性的微内核系统。通过分析近年来微内核在虚拟化、形式化验证和安全性等重点领域的发展情 Analysis of History ReV