完整性条件下传递无干扰模型
无干扰模型是一个重要的信息流模型。但是,目前大多数研究都是针对机密性的,其能否直接应用到完整性条件下（例如:可信计算）还有待研究。以经典的Rushby传递无干扰为基础, 证明了完整性条件下视图划分系统和基于引用监视器假设系统仍然是满足无干扰特性的,并给出了Biba 模型的无干扰解释。进一步,提出了基于字符串等价的完整性和基于动作等价的完整性, 并利用基于字符串等价的完整性将无干扰等式判定问题转化为容易实现的状态等价和字符串等价判定问题;利用基于动作等价的完整性研究了完整性条件下信息流释放问题。
无干扰模型 完整性条件 信息流 信息安全 视图划分系统
张帆 桑永宣 游林
杭州电子科技大学通信工程学院,杭州 310018
国内会议
昆明
中文
1-6
2010-07-01（万方平台首次上网日期，不代表论文的发表时间）