论文部分内容阅读
本文介绍了以Linux系统为基础,通过改进/增强法来开发高安全等级操作系统SECIMOS,给出了系统的实现框架,全面论述了其中的核心技术,如访问控制、追责机制、保证方法等.分析了改进/增强法存在的问题,指出应探讨更适合今后开发最高安全等级操作系统的方法.
改进增强型高安全等级操作系统SECIMOS的设计与实现
【摘 要】
：
本文介绍了以Linux系统为基础,通过改进/增强法来开发高安全等级操作系统SECIMOS,给出了系统的实现框架,全面论述了其中的核心技术,如访问控制、追责机制、保证方法等.分析了
【机 构】
：
中国科学院软件研究所北京8718信箱,中国科学院研究生院,青岛大学信息工程学院
【出 处】
：
计算机科学
【发表日期】
：
2007年8期
【基金项目】
：
本课题得到国家863高技术研究发展计划项目（2002AA141080）、国家自然科学基金项目（No.60073022）和No.60373054）和中国科学院研究生院创新资金的资助.
其他文献
软硬件划分是嵌入式系统中的一个关键问题。本文给出了一种贪心算法来搜索问题的最优解。本算法未考虑相邻任务之间的通讯开销。实验结果表明，任务数目的多少对加速比影响不大
多核处理器（multi—core processor）成为高性能处理器体系结构的研究发展方向，核间的连接方式对多核处理器性能的发挥起着重要作用。从降低节点度、减少网络链路数和缩短网络直
随着我国糖尿病发病率显著增高,糖尿病肾病(DN)所致尿毒症在血液透析(HD)患者中的比例亦明显升高.糖尿病患者在血液透析人群中具有其特殊性,如何提高糖尿病肾病患者的血液透
开放网格服务基础结构OGSI（Open Grid ServicesInfrastrstructure）把Web服务工作流引入到网格任务描述中，给出了几种Web服务与网格技术相融合机制，但并没有界定如何进行网格服务
目的：探讨桂枝茯苓胶囊治疗围绝经期子宫肌瘤的效果。方法：78例确诊子宫肌瘤的患者，年龄35-54岁，平均年龄45岁，均为自愿口服桂枝茯苓胶囊者，3彬次，3次／天，连服3个月。结果：用药过程中部
腰椎间盘突出症是我科门诊常见的病症,患者大多数为20～50岁之间的体力劳动者,约三分之一有急性腰扭伤史,自觉症状为反复多次腰痛及单侧坐骨神经痛,疼痛多向臀部、大腿后侧、小
传统的IDS在WAN上配置时，通常会出现计算瓶颈和维护更新不易等问题。本文提出了一种基于移动代理的新型分布式入侵检测系统（Mobile Agent Distributed IDS）。MADIDS是针对WAN环
血源性疾病的传播深受广大医患用血者重视，由于输血而引起的医疗纠纷不断增多。为分清血源性疾病存在的严重程度，明确血源性疾病的原因，划清疾病传播的责任，减少医疗纠纷，我们对20
超分辨率图像复原的目的是从几幅包含有相同观测区域的图像序列中重建更高分辨率的图像。一般的超分辨率算法没有考虑文本图像的分段连续性,因此有可能丢失笔画边缘处的细节信息。双边总变分正则算法具有很好的边缘保持能力,因此可以应用到文本图像的超分辨率恢复。本文根据汉字的字符结构特点,对双边总变分正则算法进行了改进,根据汉字的笔画组成特征,提出新的正则项。该方法由于充分地考虑了汉字文本图像的结构特征,因此能够
针对柔性制造系统的设计和分析，提出了经由Petri网共享子网构成合成网的解决方案；研究了Petri网共享子网合成的动态性质保持问题，给出了合成网保持活性、有界性的一组充分条件；对