【摘 要】
：
从完整性保护模型提出到现在,其成熟度远不如机密性模型.究其原因,完整级划分以及模型实用性是制约其发展的根本因素.从完整性模型的实用性角度出发,归纳总结几种现有完整性
【机 构】
：
清华大学生命科学学院,北京大学信息科学技术学院,国家计算机网络应急技术处理协调中心,北京交通大学软件学院
【基金项目】
：
国家自然科学基金项目(61170263,61003230)
论文部分内容阅读
从完整性保护模型提出到现在,其成熟度远不如机密性模型.究其原因,完整级划分以及模型实用性是制约其发展的根本因素.从完整性模型的实用性角度出发,归纳总结几种现有完整性保护模型的优缺点,提出了一种实用型的动态完整性保护模型(dynamic integrity protection model,DMIP).它面向Linux系统,解决了完整性级别划分困难以及现有完整性模型可用性不强的问题.针对来自网络的攻击以及本地恶意代码破坏系统完整性等问题给出了保护策略.从与Linux系统及系统中已有的应用程序的兼容性角度出发,DMIP做到了无代价兼容.给出了DMIP模型的不变式和约束,针对模型进行了安全定理的形式化证明,保证了模型的安全性.
其他文献
作者就目前流行的几种计算机局域网的组网模式及组网技术进行了论述,通过对其硬件要求和技术性能的分析比较,提出了具有普遍性原理的局域网组网模式。
列举了国内外有代表性的速凝剂品种，阐述了其初凝、终凝时间对混凝土强度的影响，以及对人体的腐蚀危害的差别，同时指出了今后速凝剂研究的主攻方向
<正> 一、汉代角抵戏的大发展班固在《汉书·刑法志》中说:“春秋之后,火弱吞小,并为战国,稍增讲武之礼,以为戏乐,用相夸视。而秦更名角抵,先王之礼没于谣乐中矣”。东汉人文
集结"中国(东亚)大陆构造与动力学"为主题的科学与技术前沿论坛的11个论题,梳理了中国(东亚)大陆构造与动力学领域的四大关键问题:(1)古大陆、古环境、古构造及中国(东亚)古
电触头的设计是当前国内电器制造行业工程技术人员普遍关心和急待掌握的重要问题。国内已出版的有关书籍和资料很少系统地讲述这方面的知识。本文根据电触头使用的一般技术要
<正>新教师是一个非常特殊的群体。意气风发、风华正茂、踌躇满志、朝气蓬勃是他们最显著的特点,走上讲台,他们对周围一切充满好奇、布满希望,他们渴望自我价值的实现,渴望饱
根据新农合制度运行的相关问题,借鉴国际的有益经验,分析中国国情,有必要从法学的价值取向和精神出发,提出新农合的立法应以公平、正义、透明原则;权利与义务相统一原则;广覆
清末著名医家雷丰在外感时令病诊治中,很重视对伏气病证的研究。伏气学说最早即起源于《黄帝内经》,历代医家不断发挥,形成多种不同观点。雷丰代表著作《时病论》中阐述了伏
目的研究姜黄素对原代培养的肺巨噬细胞表达TLR4mRNA及分泌TNF-a、IL-6和IL-8的影响。方法用脂多糖(LPS)建立体外肺巨噬细胞体外炎症损伤模型,用ELISA观察肺巨噬细胞分泌TNF-