微内核完整性保障研究和应用.pdfVIP

第36卷第1期 计算机科学 V01．36No．1 Science 2009年1月 Computer Jan．2009 微内核完整性保障研究与应用 于淑英黄皓剡国斌 (南京大学计算机科学与技术系 软件新技术国家重点实验室 南京210093) 摘要为了避免安全操作系统中访问控裁祝割被篡改、绕过，提出刹用微内核多服务器结构为安全核完整性提供保 障。微内核提供的进程隔离和消息传递机制使得各个服务进程独立运行，通过受控的消息机制进行交互，有效保证了 各个模块的完整性。微内核结构的简单性和模块化为形式化验证奠定了基础。原型系统Nutos利用Flask安全体系 结构为用户提供灵活多策略的强制访问控制，由微内核多服务器结构为Flask中的安全服务器和引用监控器提供完 整性保障，确保安全策略的正确实施。 关键词完整性，安全保障、微内核多服务器结构，进