基于iP-可观测属性的动态非传递无干扰模型

ZE Kai; CHEN Dan; ZHUANG Yi

首页> 中文期刊> 《计算机工程》 >基于iP-可观测属性的动态非传递无干扰模型

基于iP-可观测属性的动态非传递无干扰模型

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

针对现有信息流模型对于系统动态可信性判定过于严格的问题,提出一种基于iP-可观测属性检查的动态非传递无干扰模型.将系统抽象为一个六元组,从无干扰理论、系统状态可观察性和系统状态影响因素三方面出发,通过引入iP-可观测属性,经由有限状态自动机模型,将其转变为有限状态自动机中的P-可观测属性,并进一步利用P-可观测属性检查算法反推原系统满足动态非传递无干扰理论.对抽象系统实例的分析结果验证了该模型的有效性.

著录项

来源
《计算机工程》 |2018年第12期|173-177183|共6页
作者
ZE Kai; CHEN Dan; ZHUANG Yi;
展开▼
作者单位

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
iP-可观测属性; 非传递无干扰; P-可观测属性; 属性检查算法; 自动机模型;

相似文献

中文文献
外文文献
专利

1. 基于非传递无干扰理论的二元多级安全模型研究 [J] . 刘威鹏 ,张兴 . 通信学报 . 2009,第002期
2. 概率系统的非传递无干扰安全属性分析 [J] . 姜励 ,平玲娣 ,陈小平 . 浙江大学学报（工学版） . 2008,第012期
3. 支持进程代码修改的非传递无干扰可信模型 [J] . 徐甫 . 计算机工程 . 2013,第011期
4. 基于无干扰理论的信任链传递模型 [J] . 陈亮 ,曾荣仁 ,李峰 . 计算机科学 . 2016,第010期
5. 一种基于无干扰模型的信任链传递分析方法 [J] . 张兴 ,黄强 ,沈昌祥 . 计算机学报 . 2010,第001期
6. 一种基于无干扰模型的信任链传递分析方法 [C] . Zhang Xing ,张兴 ,Huang Qiang . 第一届中国可信计算理论与实践学术会议 . 2009
7. 基于动态网络属性与非合作博弈的异构无线网络接纳控制 [A] . 陈旭 . 2012

基于iP-可观测属性的动态非传递无干扰模型

摘要

著录项

相似文献

相关主题

期刊订阅