Title of Paper:基于iP-Observability属性检查的动态非传递无干扰模型

Hits:

Affiliation of Author(s):计算机科学与技术学院/人工智能学院/软件学院

Journal:计算机工程

Key Words:iP-可观测属性;非传递无干扰;P-可观测属性;属性检查算法;自动机模型;

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

Translation or Not:no

Date of Publication:2017-11-29

Co-author:迮恺,zy

Correspondence Author:陈丹