Non-interference相关论文
降密策略静态实施机制具有限制性过强的缺陷:它将降密策略语义条件判定为安全的程序排斥在外。为了建立更加宽容的实施机制,基于自......
干扰问题是列控车载设备中,监测系统和其他安全系统交互时面对的关键问题。基于对现有无干扰技术和模型的研究,运用无干扰的终端安全......
操作系统结构化是目前安全领域的一大难题。以无干扰模型为基础,提出了一种基于分层隔离的进程环境安全模型,给出了进程环境安全的......
提出了一种针对多线程程序的内部时间信息流的宽容的类型系统.在隐藏竞争变量集合的基础上定义了非干扰属性的形式化规范;在类型系......
基于模糊逻辑理论,文中提出了一种能自动实现前置点导引和无干扰导引的混合导引律。该导引律通过两组误差信号和多目标规则库,使得......
文章试图通过对安藤忠雄的个住宅作品4m×4m的解读来为中国式建造找寻出口.经过现场考察与背景调研,作者将建筑背后所隐含的安藤......
本文介绍了郑州纺器厂研制的ZRC—892热粘合无套差高速并条胶辊的配方设计、制造工艺以及在进口和国产的高速并条机上的应用情况。......
《淮南子》[1]以道为核心思想,认为道是宇宙万物的本原,具有创生性与主宰性,是宇宙万物的总规律。同样,道也是理想的治国之道,以遵......
基于信息流的安全模型较访问控制模型优势在于更本质的描述了什么是安全,自提出信息流的无干扰概念以来信息流模型就成为安全研究......
老子是最早建构人道理论体系和实行人道关怀的哲学家。老子人道关怀首先表现在理论上将人从自然万物中分离出来,确立人在宇宙中与......
针对属性计算框架可客观地计算安全的度,但某些属性难以计算的问题。提出了转义性概念,研究公平性与无干扰之间的语义关系。仿真表......
林语堂性近老庄,崇尚自然无为。编译《老子的智慧》时,他借老子“无为”之道译老子之言:“知其雄,守其雌”,追求“愚蠢的翻译”。在遣词......
进入21世纪后,中非关系的深化和加强开始逐步引起国际观察者的广泛关注。除赞美外,大量的批评和抨击也随之而来。与我国学术界以往......
降密策略是信息流安全研究的重要挑战之一。目前的研究主要集中在不同维度的定性分析上,缺乏对机密信息降密数量的精确控制,从而导......