计算机工程 ›› 2018, Vol. 44 ›› Issue (12): 173-177,183.doi: 10.19678/j.issn.1000-3428.0048204

• 安全技术 • 上一篇    下一篇

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

迮恺,陈丹,庄毅   

  1. 南京航空航天大学 计算机科学与技术学院,南京 211106
  • 收稿日期:2017-08-01 出版日期:2018-12-15 发布日期:2018-12-15
  • 作者简介:迮恺(1993—),男,硕士研究生,主研方向为可信计算、形式化方法;陈丹,副教授;庄毅,教授、博士生导师
  • 基金项目:

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

Dynamic Intransitive Noninterference Model Based on iP-observability Attribute

ZE Kai,CHEN Dan,ZHUANG Yi   

  1. College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China
  • Received:2017-08-01 Online:2018-12-15 Published:2018-12-15

摘要:

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

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

Abstract:

In order to solve the problem that the existing information flow model is too strict to determine the dynamic trusted of system,a dynamic Intransitive Noninterference(INI) model based on iP-observability attribute checking is proposed.It abstracts the system into a six-tuple,which introduces the iP-observability attribute from the noninterference theory,the observability of system states and system states’ influencing factors,and transforms the iP-observability into P-observability attribute in automatic machine by automatic machine model,and then uses the P-observability attribute checking algorithm to reverse that the original system can meet the Dynamic INI(DINI) theory.Finally,an example of the corresponding abstract system is given to illustrate the effectiveness of the model.

Key words: iP-observability attribute, Intransitive Noninterference(INI), P-observability attribute, attribute checking algorithm, automatic machine model

中图分类号: