不干扰模型相关论文
随着计算机网络和信息化技术的飞速发展,网络安全问题日益突出。构建可信的网络环境,解决接入的可信及接入之后的网络传输和数据共......
隔离有助于阻止信息泄露或被篡改、错误或失败被传递等。利用不干扰理论给出了隔离的精确语义，以利于分析和制定系统的隔离策略；利用......
本文提出一种基于系统动作的非确定不干扰模型，把不干扰关系拓展到系统动作之间，并表明信息流的产生同时依赖于发起者和观察者的动作......
由于BLP模型的基本安全公理不能完全证明模型的安全性，因此，在分析BLP改进模型的安全性时，如果模型的安全策略十分复杂而不能直接判断......
通过研究信道与那些向其输入信息或从其获得信息的信息域之间直接或间接的干扰关系,来定义信道的语义和作用。明确描述和严格控制......
在不干扰理论的基础上，提出扩展不干扰模型ENISM及其验证方法，用以描述和分析操作系统中的信息流策略．工作包括：（1）依据系统功能模块定义......
