【摘 要】
：
经典的Bell & LaPadula(BLP)模型是在计算机安全系统中实现多级安全性(MLS)支持的基础,被视作基本安全公理.结合以Linux为基础的一个安全操作系统(RS-Linux)的开发,讨论抽象
【机 构】
：
中国科学院软件研究所,北京中科红旗软件技术有限公司
【基金项目】
：
国家自然科学基金，国家高技术研究发展计划(863计划)，中国科学院知识创新工程项目
论文部分内容阅读
经典的Bell & LaPadula(BLP)模型是在计算机安全系统中实现多级安全性(MLS)支持的基础,被视作基本安全公理.结合以Linux为基础的一个安全操作系统(RS-Linux)的开发,讨论抽象的BLP安全公理在安全操作系统实现中的实际意义.从理论上构造BLP公理的一种新的实施方法(ABLP方法),并给出该方法的正确性证明.ABLP方法主要由3条访问控制规则构成,其特点是允许主体的当前敏感标记进行适应性调整,它以常规实施方法为基础,克服了常规实施方法在标记指派方面的不足,为安全判定增加了灵
其他文献
一、刺参增养殖发展现状及主要方法 海参属棘皮动物,全世界约有1100多种,我国有100多种,其中有增养殖意义的主要有刺参、梅花参、糙海参、白底辐肛参等4种。北方地区主要为
随着高职高专院校招生规模的不断扩大,学生的教育背景差异越来越大,所以学生的英语基础差异就很大。目前,高职高专院校的学生主要来自于普通高中、中专、技校以及职高等。这
如何有效地利用Web这个巨大的信息库?传统的基于关键字的搜索引擎取得了一定的成绩,但是存在着查准率不高的问题.Web页面间链接结构事实上隐含地表达着权威的信息,这已被许多
该文针对英语教学的现状及新课程的要求,提出了自主学习的内涵、理论依据和基本原则,构建了有效的英语自主学习的课堂教学实施途径。
锁操作在实时协同编著系统中用于共享文档副本的语义一致性维护.针对已有线性结构文档中锁操作转换算法效率低下的问题,对文档采用树型结构的表示方法,在文档的不同层级引入
目前搜索引擎返回的信息太多且难以根据用户的兴趣提供检索结果,而个性化推荐是一种旨在减轻用户在信息检索方面负担的有效方法.文中把内容过滤技术和文档聚类技术相结合,以