概率系统的非传递无干扰安全属性分析

来源 :浙江大学学报:工学版 | 被引量 : 0次 | 上传用户:wuxinghui_1975
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了实现概率信息的安全降密和信道控制等重要安全策略,将可信域的概念引人概率安全进程代数,并以此为工具将非传递无干扰信息流安全模型推广到概率系统.在弱概率互拟等价的基础上讨论了非传递概率信息流安全属性,提出了非传递概率互拟强无干扰(I_BSPNI)和非传递概率互拟复合不可演绎(I_PBNDC)安全属性;并要求系统所有可达状态都满足的持久I_PBNDC属性,该性质能够揭露出IPBNDC在动态环境中不能暴露的安全隐患.为了弥补互拟复合不可演绎类性质难于验证的缺点,使用基于单步状态的展开条件定义了强I_PBNDC
其他文献
家禽饲养是农村常见的动物经营模式,家禽实际饲养中所面临的最大问题就是疫病问题,家禽疾病可能引发家禽系列性死亡,影响养殖户的经济利益。对此本文分析了家禽常见疾病的特
针对多通道自适应滤波算法数据运算量较大的缺点,结合空间滤波与最小均方(LMS)自适应滤波优点,提出并研究了空间自适应滤波方法.给出了一种多通道空间自适应滤波器的表达式和实现
通过水稻保墒旱直播技术模式示范推广,推动水稻晚熟品种布局、品质提升、种植方式更加科学合理,在水稻生产中找准了一次性保全苗、消除水情限制因素等薄弱环节,积极应用农业
高温气冷堆使用的TRISO型包覆燃料颗粒采用流化床化学气相沉积法制备。实验研究发现,在包覆燃料颗粒的生产过程中,化学气相沉积过程的压力显著影响包覆燃料颗粒的性能指标。
本文提出了T3试验阀门计时设计原则。结合CPR1000新项目DCS平台,重点研究了T3试验阀门计时如何实现来满足设计需求,并做了设计原则的符合性分析,详细说明了计时的信号路径,并对硬
江西省一直都是优抚大省,建设优抚信息管理系统是政务信息化的重要举措,有利于进一步提高退役军人优抚业务工作效率,改善优抚管理现状,节约优抚投入成本。优抚管理系统的建设是提高优抚对象和人民群众对优抚的需要,是优抚保障工作和服务体系的重点建设工作。本文是基于江西省优抚工作的现状展开的优抚管理系统分析与设计,旨在构建省建统一,地市级、县、镇的互通协作,数据规范,信息同步共享的省级优抚信息管理系统,从而实现
何一件精美的玉器都必须经过精雕细琢才能完成,只有不断发挥思维创造力,提高雕琢玉器的精细度,才能做成高质量的玉。进行玉石雕刻时,雕刻专家应该对雕刻作品的灵魂进行深层次
文章主要介绍北票市农药使用中存在的常见问题及应用对策,从而达到正确指导农业生产的目的。
哈密地区设施农业面积已达到4万亩,设施葡萄种植面积不断扩大,效益良好。但是,各乡镇栽培的品种不尽相同,抗逆性差别较大,产量与品质参差不齐,取得的经济效益差别很大。为此,
随着制种基地大量劳工向外输出,制种企业在玉米抽雄期难以找到足够的工人抽雄,用工成本越来越高,杂交纯度难以保证。进口的玉米抽雄机价格居高不下,国内大部分制种企业难以负