论文部分内容阅读
无干扰是安全信息流的一个重要需求,安全多执行(SME)是实施无干扰的一种重要方式。本文通过实例指出了反应系统中SME模型在并发调度下可能违背运行无干扰特性,分析了导致这种情况的原因,提出了相应的解决方案。
安全多执行机制的无干扰性研究
【摘 要】
：
无干扰是安全信息流的一个重要需求,安全多执行(SME)是实施无干扰的一种重要方式。本文通过实例指出了反应系统中SME模型在并发调度下可能违背运行无干扰特性,分析了导致这种情况的原因,提出了相应的解决方案。
【机 构】
：
国家计算机网络应急技术处理协调中心新疆分中心,中国科学院信息工程研究所,广西可信软件重点实验室（桂林电子科技大学）
【出 处】
：
软件
【发表日期】
：
2015年06期
【基金项目】
：
国家自然科学基金项目(批准号:61100186,61262008),广西自然科学基金(批准号:2014GXNSFAA118365,2014GXNSFDA118036)
其他文献
目的 研究载脂蛋白C3基因上游调控区内-482C＞T多态性位点与血浆脂质以及载脂蛋白水平的关系.方法 应用聚合酶链反应一限制片长多态性方法逐个鉴定每个个体的基因型,并测定其血
近年来,数字出版越来越成为业界关心的话题,在短短的几年里,数字出版以其迅猛之势对传统出版造成了强大的冲击。我国各大出版社面对数字出版已经由原来的观望转向积极参与。虽然出版社纷纷试水数字出版,但真正形成成熟商业模式并且从中赢利者并不多,数字出版尚未形成出版界普遍认同的商业模式。对于出版社而言,在目前未找到可赢利的商业模式的情况下,投入大量资金进行出版数字化改造动力不足。数字出版商业模式的发展趋势是什
近年来,深度神经网络在音频识别中的应用使自动语音识别(Automatic Speech Recognition,ASR)系统取得了令人瞩目的进步。目前的ASR系统已经具有高准确性和便利性,各种智能终
简要统计了2008年3—4月国内发生的各种环境事件78起,包括沙尘天气23起,污染事件11起,地震22起,山体滑坡和泥石流9起,以及其他自然灾害13起。对自然灾害进行了讨论。
刹车片是交通工具制动系统的一个重要的组成部分,刹车片的现有检测方法主要依赖于人工判断,为了避免人工检测的主观性,实现检测自动化,并获取更多的裂纹信息。本文提出了一种