基于代码路径的安全操作系统性能优化方法

摘要：

为了满足面向访问验证保护级的要求, 研发新一代高等级安全操作系统, 我们采用微内核的架构设计和实现了面向访问验证保护级的安全操作系统原型系统(VSOS), 并通过设计和实现新的访问监控器来满足安全内核设计原则中的不可旁过和总是被调用两项要求, 但访问监控器的引入导致VSOS的性能产生较大的损耗. 提出了一种基于代码路径优化的方法, 用于改进访问监控器的实现和调用方式, 以及可信路径机制的实现方式. 实验表明, 通过此方法VSOS的性能和可信路径过程的用户体验都得到了提升.

关键词：安全操作系统、代码路径、访问监控器、性能优化、IPC重定向

所属期刊栏目：24

分类号：TP3;TN9

资助基金：中国科学院重大方向性项目KGCX2-YW-125;国家自然科学基金91218302,61432001

在线出版日期：2015-10-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：18-24