点击次数：

所属单位：计算机科学与技术学院/人工智能学院/软件学院

发表刊物：计算机工程

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

摘要：针对现有模型对于系统动态可信性判定过于严格的问题,提出一种基于i P-可观测属性检查的动态非传递无干扰模型。该模型将系统抽象为一个六元组,从无干扰理论、系统状态可观察性和系统状态影响因素等三方面出发,通过i P-可观测属性的引入,经由有限状态自动机模型的转换,将i P-可观测属性转变为有限状态自动机中的P-可观测属性,进一步利用P-可观测属性检查算法来反推原系统满足动态非传递无干扰理论。最后给出相应抽象系统实例以说明该模型的有效性。

是否译文：否

发表时间：2017-11-29

合写作者：迮恺,庄毅

通讯作者：陈丹