安全操作系统中的功能隔离机制  

The function isolation mechanism in secure operating system

作　　者：龚育昌[1] 唐玲[1] 张晔[1] 贾永泉[1] 

机构地区：[1]中国科学技术大学计算机科学技术系,合肥230027

出　　处：《中国科学院研究生院学报》2008年第4期538-548,共11页Journal of the Graduate School of the Chinese Academy of Sciences

基　　金：国家自然科学基金项目(60273042);安徽省自然科学基金项目(03042203)资助

摘　　要：在分析现有操作系统安全机制的基础上,针对空间隔离技术的不足之处,提出了功能隔离的新思想.功能隔离可以提供更细致的隔离粒度,并可使不同类别的功能请求在相互隔离的执行域中执行,从而提高系统的可靠性与安全性.详细描述了功能隔离的定义,讨论了功能划分的方法和PFI、ASFI两种功能隔离机制及其关键实现技术.实验数据说明,采用功能隔离不会明显影响系统的效率.Considering the limitations of current space isolation technique, a new security mechanism adopting function isolation is proposed. With the mechanism more delicate granularity of function can be used and different execution domains corresponding to different function requests may be isolated each other, so the safety of operating system can be improved. In the paper the principle and algorithm for function division are introduced in detail, and two kinds of isolating mechanisms PFI and ASFI are presented. Experiment results show that the overhead of function isolation wouldn＇t reduce the system efficiency notably.

关 键 词：安全关键操作系统 空间隔离 功能隔离 功能划分 

分 类 号：TP316[自动化与计算机技术—计算机软件与理论] TP393[自动化与计算机技术—计算机科学与技术]