点击次数：

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

发表刊物：计算机工程

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

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

是否译文：否

发表时间：2018-12-15

合写作者：迮恺,庄毅

通讯作者：陈丹