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

• 作者: 庄毅 迮恺 陈丹
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: iP-可观测属性 非传递无干扰 P-可观测属性 属性检查算法 自动机模型
• 年，卷（期）: 2018,（12）
• 所属期刊栏目: 安全技术
• 页码范围: 173-177,183
• 页数: 6页
• 分类号: TP309
• 字数: 5032字
• 语种: 中文
• DOI: 10.19678/j.issn.1000-3428.0048204

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	庄毅	南京航空航天大学计算机科学与技术学院	126	790	14.0	23.0
2	陈丹	南京航空航天大学计算机科学与技术学院	30	125	6.0	10.0
3	迮恺	南京航空航天大学计算机科学与技术学院	2	0	0.0	0.0