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

来源 :中国科学院研究生院学报 | 被引量 : 0次 | 上传用户:rabeenzhu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在分析现有操作系统安全机制的基础上,针对空间隔离技术的不足之处,提出了功能隔离的新思想.功能隔离可以提供更细致的隔离粒度,并可使不同类别的功能请求在相互隔离的执行域中执行,从而提高系统的可靠性与安全性.详细描述了功能隔离的定义,讨论了功能划分的方法和PFI、ASFI两种功能隔离机制及其关键实现技术.实验数据说明,采用功能隔离不会明显影响系统的效率.
其他文献
虽然多数的现有监控工具可以提供关于系统整体性能的宏观信息,但是这样的数据并不能帮助用户理解系统内部的运行状况.为了揭示内部行为,提出了一种基于监控元数据的方法来收集系
1月13日,全省组织部长会议在昆明召开。会议提出:要服务科学发展,建设学习型组织,努力开创新形势下组织工作的新局面。
压缩机是用来提高气体压力和输送气体的机械。在运转过程中,难免会出现一些故障,造成事故。尽快查找故障原因,恢复正常运转,减少影响极为重要。论述了压缩机故障及查出原因和处理
在介绍基于Portlet的网格Portal的发展情况和设计技术的基础上,探讨了羊八井宇宙线观测实验的网格Portal的功能与设计.
在向日葵花开的时节,省委第七巡视组在巡视省教育厅期间到保山检查教育工作时,专门安排时间,在组长毛义强、副组长殷青的带领下,前往施甸县参观杨善洲同志生前生活工作过的地方—
基于短语本位语法体系,本文提出了一个混合模板方法用于实现汉语口语对话系统语言生成器.在此混合模板方法中:定义短语模板用于生成汉语短语;定义句子模板用于生成基本的肯定陈述
楚雄市在进行社会管理创新时突出城市特色文化内涵这一亮点,加强城市特色文化建设,不断繁荣社会主义特色文化,使之成为推动楚雄市社会管理创新的精神动力。
基于动态偏移场模型,提出了一种适用于空变失真图像序列的视频稳定化技术.以空不变图像序列的运动滤波技术为基础,采用空变图像序列的运动估计和频域滤波技术,实现了透视失真序列
由于无线网状网具有多网卡多信道、节点移动性低等特性,使用传统的基于最短路径的移动AdHoc网络路由协议并不能获得良好的性能,为此提出了一种新的无线网状网路由协议——MEIL
将抵抗选择解承诺攻击的承诺方案简称为选择解承诺方案,这种方案是通常意义下承诺方案复合的例子.本文给出选择解承诺方案在安全多方计算模型下基于模拟的安全性定义,并证明了新