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

摘要：

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

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

所属期刊栏目：44

分类号：TP309(计算技术、计算机技术)

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

在线出版日期：2019-03-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：173-177,183