针对约束的XML推理控制分析研究.pdfVIP

摘要 约束推理被用于获取访问受限的敏感信息时，就形成推理攻击。在XML 应用领 域，约束推理是推理攻击中危害很大、破坏性很强但又非常隐蔽的一种安全攻击手 段，研究有效防范XML 应用领域约束推理引起敏感信息泄露的方法是迫切需要的。 在增强的BLP 强制访问控制模型的基础上，改进XML 细粒度访问控制模型， 设计了一个基于约束的XML 细粒度的推理控制体系结构。该体系结构在改进的XML 细粒度访问控制模型的基础上引入视图机制，在视图上进行敏感信息的约束推理控 制，最后形成不存在敏感信息约束推理的最大化发布文档。 在该体系结构中，正向推理形成的文档推理闭包是进行敏感信息推理控制的基 础。对XML 应用域约束进行规范化和优化，使得利用约束访问和控制XML 文档成 为可能；将敏感信息正式划分为高安全级敏感信息和局部敏感信息，同时可以控制 采用强制访问策略和采用基于角色访问控制策略的系统的敏感信息约束推理，设计 了推理闭包和敏感信息集的构造算法。 逆向推理是敏感信息约束推理控制实现的关键，通过回溯推理链，找出并清除 所有引起敏感信息约束推理的节点，切断推理通道。采用与/或图和解图，引入启发 式搜索策略，实现敏感信息推理链的查找和节点清除最佳方案的快速形成；引入剪 枝策略实现可用信息的最大化发布。 设计的推理控制体系结构适用于C/S 和B/S 模式，用户的操作经增强的BLP 强 制访问控制重定向到服务器端经推理控制后的安全文档，由安全文档响应用户操作。 最后以实验证明了体系结构的有效性、可用性和正确性。 关键词：细粒度，约束推理，敏感信息，闭包，剪枝 I Abstract Constraints inference is used to get sensitive information which is limited in access, inference attack occurs. In XML application field, constraints inference is a security attack measure, which is more dangerous and hidden than other measures. It is urgent to research and develop an efficient method to prevent sensitive information leakage inferred through constraints. Ameliorated the fine-grained XML access control model based on the enhanced BLP MAC model, designed an architecture of fine-grained XML inference control based on constraints, which can works with C/S and B/S model. The architecture makes the positive inference using view mechanism, finally formed the maximal publishing files without sensitive information inference. The partial file inference closure formed with positive inference is the base of inference control. Standardization and optimization of XML constraints make it possible accessing and controlling X