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

来源：计算机工程杂志2018年第12期北京时间：

作者：迮恺,陈丹,庄毅

单位：南京航空航天大学 计算机科学与技术学院,南京 211106

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

关键词：iP-可观测属性, 非传递无干扰,P-可观测属性, 属性检查算法, 自动机模型

基金资助：国家自然科学基金(61572253);“十三五”装备预研共用技术和领域基金(61402420101HK02001);航空科学基金(2016ZC52030)