【摘 要】
：
众多因特网安全事件的发生表明,为了对抗现代计算环境中的安全威胁,来自安全操作系统的支持是必不可少的.基于国内外相关标准的要求,结合安胜高等级安全操作系统v4.0(以下简
【机 构】
：
中国科学院软件研究所; 北京大学软件与微电子学院 北京102600; 海军计算技术研究所; 北京100080; 北京100841;
【基金项目】
：
北京市自然科学基金(批准号:4052016);国家自然科学基金(批准号:60573042);国家重点基础研究发展规划(批准号:G1999035802)资助项目
论文部分内容阅读
众多因特网安全事件的发生表明,为了对抗现代计算环境中的安全威胁,来自安全操作系统的支持是必不可少的.基于国内外相关标准的要求,结合安胜高等级安全操作系统v4.0(以下简称为安胜OS)的设计与开发实践,讨论高等级安全操作系统设计中的3个关键问题:安全体系结构、安全模型与隐蔽通道分析.对安全体系结构与3种基本的安全策略模型:机密性模型、完整性模型和特权控制模型的设计原则分别进行了阐述,提出了新的安全体系结构与3个新的安全模型,分别介绍它们的主要特色,以及它们在安胜OS中的实现.隐蔽通道分析是高等级安全操作系统设计中众所周知的难题,迄今缺乏坚实的理论基础与系统的分析方法.为了解决隐蔽通道分析中存在的基本问题,文中提出了隐蔽通道标识完备性的理论基础、一种通用的隐蔽通道标识框架,以及高效的回溯搜索方法.这些新方法在安胜高等级安全操作系统中的成功实现表明,它们可以简化并加快整个隐蔽通道的分析过程.
其他文献
作为高校文科专业的必修课程,中国现代文学在专业学科建设上受到高度重视,其辐射性、实用性和针对性强的基础性特征也为广大学生理解和接受。因此,无论是相关教材的出版,还是
《太阳照常升起》是美国作家海鸣威尝试写作的第一篇长篇悲剧小说,他的悲剧性意义在于海明威在这部小说中自始至终地宣言这自我的虚无主义思想,本文主要分析《太阳照常升起》
我们很有必要用创新的思维来研究解决工作中出现的新问题、新矛盾,创新工作方法,以提高工程质量监督水平。
机密性和完整性是操作系统安全的两个重要特性,BLP模型只解决了机密性的问题,而Biba模型只解决了完整性的问题,其他模型也都类似,无法使二者同时兼顾.基于一个特殊可信主体,
目的探讨抑郁障碍患者睡眠脑电图的变化。方法应用多导睡眠生理仪,采用眼电图和下颌肌电图及脑电图等技术,对21例抑郁障碍患者的睡眠脑电图(PSG)进行整夜监测,并与22名正常受
根据股票指数时间序列复杂的非线性特性,提出以相空间重构理论与递归神经网络相结合的股票短期预测新方法。以相空间重构理论确定最佳延迟时间和最小嵌入维数,以最佳延迟时间
中小企业已成为我国经济发展的重要力量,但不良的间接融资环境却制约了中小企业的发展,而良好的间接融资环境需要政府、企业、金融机构、公众共同努力。改进贷款管理制度,鼓
推行素质教育离不开教师,教师素质的高低直接影响着素质教育的成败。笔者就教师应具有怎样的素质结构、如何提高其自身素质、更新其观念、转变其角色作一综合介绍和分析。
青花斗彩是以釉下青花作为一种色青而与釉上多种色彩相结合的瓷器装饰技法。在青花斗彩中,图案中的蓝色部分先以釉下青花描绘并且留白,上釉烧成后再用釉上彩料彩绘其留白部分
目的探讨外源性神经节苷脂(GM1)对从胎鼠大脑分离培养的神经干细胞(NSCs)增殖及分化的作用。方法1利用无血清培养技术从胎鼠大脑皮层和海马分离培养原代细胞,加血清诱导其分