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

关键词：计算机网络安全 不干扰模型 访问控制 

单位：清华大学计算机科学与技术系; 北京100084