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

Hits:

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

Journal:计算机工程

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

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

Translation or Not:no

Date of Publication:2018-12-15

Co-author:迮恺,zy

Correspondence Author:陈丹