计算机安全中的无干扰模型,周伟,,与基于访问控制的形式安全模型相比,基于信息流的安全模型对于定义什么是安全来说更为本质。自提出信息流的无干扰概念以来,信息