【摘 要】
：
为实现结构化保护级操作系统的完整性保护,本文在深入分析完整性策略的结构和涵义的基础上,提出了基于DTE技术的完整性保护的形式模型;该模型由两部分组成:配置DTE的基本规则
【机 构】
：
中国科学院软件研究所信息安全技术工程研究中心,北京,100080
论文部分内容阅读
为实现结构化保护级操作系统的完整性保护,本文在深入分析完整性策略的结构和涵义的基础上,提出了基于DTE技术的完整性保护的形式模型;该模型由两部分组成:配置DTE的基本规则和状态迁移模型,前者解决如何设置相应的域和型,后者解决在系统变迁过程中如何维持初始设置获得的安全不变量.模型设置了10个不变量,特别提出了新的处理信息流的不变量,并探讨了与文献中相关不变量的关系.以可操作性很强的方式描述了13个具有良好原子性的迁移规则.随后,证明了相应的安全基本定理.在深入分析文献中现有模型与本模型异同的基础上,探讨了不变量设置的合理性.最后,指出未来要完成的工作,特别,用本模型去分析SELinux的安全性是可能的.
其他文献
房地产业在我国的国民经济中一直处于很重要的地位，加之中国国民对房地产特有的情感，房地产业在我国国民经济中地位就更为重要。国家对我国房地产业进行宏观调控，在特定情况下是
目前随着建筑行业竞争的加剧，为了保证企业获得最大化的利润，提升自身的核心竞争力，加强对施工成本的管控至关重要。而在当下，实现成本管控的基本手段就是实施造价方案优化，下面本
在当前的技术条件支持下，多推荐通过应用光谱检查技术的方式，在锅炉压力容器的制造，以及安装过程当中，对其材质以及性能水平进行确认。通过对光谱检查技术的应用，能够确保锅炉压力
总结了三维网格简化算法并进行了分类。典型的网格是由一系列三角形构成的表面。表面的类型从高度区域到复表面到一般表面。文章的后半部分详细介绍和实现了其中一种简化算法
目的研究第四代HIV抗原抗体检测试剂在血液筛查中的应用价值。方法对第四代HIV抗原抗体检测试剂进行灵敏度和重复性实验;分别采用第三代HIV抗体检测试剂和第四代HIV抗原抗体
目的: 观察射频消融术对阵发性室上性心动过速的治疗作用. 方法: 对32例阵发性室上性心动过速患者进行心内电生理检查及射频消融术. 结果: 14例为房室结折返性心动过速, 18例
为加强围产期保健以及新生儿的监护工作 ,我院开展了脐血锌原卟啉的检测项目 ,现将检测结果分析如下。1 对象和方法1.1 对象 随机抽取 2 0 0 1年 1～ 6月在我院出生的正常足
目的:观察新生鼠缺氧缺血性脑损伤(HIBD)发生后闪光视觉诱发电位(F-VEP)的波形变化特征,探讨F-VEP对HIBD的早期监测作用.方法:80只SD新生鼠随机分为假手术组、HIBD组,每组各4
粗集理论作为一种新的用来处理不确定性问题的数学工具。本文提出了一种基于粗集理论的图像增强方法,首先建立了基于粗集的等价关系和相应的划分集合,然后得到了基于粗集方法
简述了冰蓄冷空调与常规空调相比的优越性及其运行策略。冰蓄冷空调技术的原理并不复杂,从结构上讲,冰蓄冷空调系统的主要特征是比传统空调多了一套蓄冷设备,而制冷系统及空