【摘要】 本文提出一种基于系统动作的非确定不干扰模型,把不干扰关系拓展到系统动作之间,并表明信息流的产生同时依赖于发起者和观察者的动作,可通过允许发起者动作而阻止观察者动作的方法避免信息流动.最后设计了一个多级安全系统,并为排除隐蔽信道提供了一种新的方法.更多还原

【Abstract】 A noninterference model based on actions for nondeterministic systems was developed to enforce information confidentiality.With redefined noninterference relationship on system actions,information flows depend on actions of both initiators and observers,and can be stopped by allowing actions of initiators and denying the following ones of observers.To show usability of new noninterference relationship and model,an example multilevel security system was designed and a new method was provided to excluding covert channels.更多还原