基于无干扰理论的完整性增强研究

摘要：

　　由于访问控制模型无法保障信息端到端的完整性，本文提出了基于无干扰理论的完整性信息流模型。通过对完整性与机密性策略的比较，把无干扰模型从机密性引入完整性；扩展了机密性分散标签模型使其满足完整性需求；引入检查数据不变量作为验证完整性中数据一致性的方法，进一步强化了对完整性的保护。该模型对保护计算机系统中信息的完整性具有一定的理论和实践价值。

关键词： 分散标签模型 访问控制 无干扰模型 信息流模型

作者: 王静 徐开勇 赵彬

作者单位: 解放军信息工程大学电子技术学院 郑州 450004

会议类型: 国内会议

会议名称: 第四届中国计算机网络与信息安全学术会议(CCNIS2011)

会议地点: 郑州

会议语种:中文

页码: 1-7

在线出版日期: 2011-11-01（万方平台首次上网日期，不代表论文的发表时间）