【摘 要】
：
无干扰模型是一个重要的信息流模型。但是,目前大多数研究都是针对机密性的,其能否直接应用到完整性条件下（例如:可信计算）还有待研究。以经典的Rushby传递无干扰为基础, 证明
【机 构】
：
杭州电子科技大学通信工程学院,杭州 310018
论文部分内容阅读
无干扰模型是一个重要的信息流模型。但是,目前大多数研究都是针对机密性的,其能否直接应用到完整性条件下（例如:可信计算）还有待研究。以经典的Rushby传递无干扰为基础, 证明了完整性条件下视图划分系统和基于引用监视器假设系统仍然是满足无干扰特性的,并给出了Biba 模型的无干扰解释。进一步,提出了基于字符串等价的完整性和基于动作等价的完整性, 并利用基于字符串等价的完整性将无干扰等式判定问题转化为容易实现的状态等价和字符串等价判定问题;利用基于动作等价的完整性研究了完整性条件下信息流释放问题。
其他文献
继去年成功合作后.UNDERCOVER与COMME des GARCONS再度携手,共同推出主题为Ice Cream的限量联名Tee,此系列也隶属于UNDERCOVER 2009春夏系列当中.细心的朋友不妨留意―下.特
软件测试是保证软件质量的重要手段,在测试数据自动生成研究中,利用遗传算法进行针对面向过程的测试用例生成已较为完善,但在针对类对象测试数据生成方面的研究和应用方面仍
速记文稿通过图像输入扫描设备进入电脑时,会产生随机噪声、污点和字形畸变等问题,不同类型的畸变会严重地影响下个阶段速记字符的识别率。选择合适的预处理模式对字符识别结
文章介绍了通用接口总线（GPIB）在虚拟仪器中的应用,以及虚拟仪器通过GPIB接口与仪器进行通讯时软件工具的选择,详细描述了仪器驱动程序和直接I/O两类软件工具,并对它们各自的特
当一次计算服务由多个彼此之间存在依赖关系的运行时任务组成时,可以用第二类Petri网的结构描述运行时任务及其之间的依赖关系和所依赖的数据量,并以此作为并行性发掘的模型
春色无边,跟单调、沉闷、一成不变的颜色SayGoodbye!脱下厚重的冬装,换上轻便的春衣,09年的春天要绚烂多彩.这一季的K·SWISS SPEYER,汲取大地上新绽放出的粉嫩色彩和大海流
针对穿鞋而言,许多人只选择帆布鞋.重点是全鞋面100%用帆布制作,即使是1%的皮革也不可以-追求的是纯粹的帆布.不敢奢望太多,也不敢要求一双帆布鞋可以穿着一生,但这次adidas
当NIKE愈发沉迷于拼凑一双又一双的“合体鞋”时,作为一个心态积极的鞋迷,与其去抱怨设计师们的“创意匮乏绿台征”,
怀念汪老,最令人难以忘怀的就是他的目光,那目光,纯净得如刚滴出山口的清泉,流涌出的永远是清澈纯美的爱意,而他的笑容与声音,也总是充满了甜蜜芬芳又真挚朴素让人感动的慈爱
作为NEW Balance 旗下潮流的代表款式,MT580舒适的脚感和鲜艳的撞色两大撒手锏在潮鞋界称霸多年.但是近年来随着推出的普通配色和代数过于频繁,MT580尽显疲态.