对两个改进的BLP模型的分析

来源 :软件学报 | 被引量 : 0次 | 上传用户:missile60
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
安全性和灵活性是各种改进的BLP模型追求的目标.如何在保持安全性的前提下增加BLP模型的灵活性,一直是安全操作系统研究人员研究的重点.安全模型是系统设计的基础,如果在系统中实现了不安全的“安全模型”,其后果是严重的.结合多级安全(MLS)的核心思想,通过实例列举的方式深入分析了两个改进的BLP模型——DBLP(dynamic BLP)和SLCF(security label common framework).尽管这两个模型都提出了在系统运行时动态地调整主体安全级的规则,但是分析表明,它们还是不安全的.在
其他文献
《常微分方程》是高等师范院校数学专业的基础课程之一。王光发等[1]所编的《常微分方程》(以下简称教材),是根据1980年教育部部颁大纲而编写的,为帮助同学们学习。我们着重介绍
Internet的迅速发展直接表现为用户流量的迅速增长,这就要求路由器必须提供更大的容量.传统的路由器由线卡和集中式交换网络构成.集中式交换网络只能支持有限的端口数目,而且随着
背景:在塞拉利昂健康成年人中评价了两个不同剂量组的重组5型腺病毒载体埃博拉疫苗的安全性和免疫原性。
目的:检测Y2HGold酵母株中表达的h PROKR2 C端蛋白是否有毒性及自激活,为后期利用酵母双杂交技术研究h PROKR2 C端相互作用蛋白奠定基础。方法:构建酵母双杂交载体p GBKT7-h PR
大跨径桥梁建设是一国综合工业水平国力的反映.解放以来,我国仅在长江、黄河上建成的大桥和特大桥已达81座.1991年已建成的上海南浦大桥,主桥长846米,引桥长7500米.1993年10
In order to promote efficient communication between nurses in Beijing hospitals and foreign patients, EOP (English for Occupational Purposes) courses specifical
天使的微笑越涛盛放了一个冬季的冰霜容颜在高原之巅等候生命之绿重回山间一如柔柔的月色那目光倾注着对风月对青春的爱恋翻阅每一个日子绽放出的永远是一幅春天的画卷天使的
宿舍管理对于校风、学分以及学生的综合修养具有重要作用,也是考核辅导员工作能力、工作成绩的重要指标。本文在分析独立学院学生实际情况的基础上提出了建立和谐宿舍环境的