基于概率推理的数据库安全保护
密码学与安全
2017-06-09 v1 数据库
摘要
当用户将查询结果与概率性数据依赖关系及先验知识相结合时，数据库可能泄露机密信息。现有研究提供的机制要么只能处理有限类别的依赖关系，要么缺乏可操作的执行算法。我们提出了一种基于概率逻辑编程语言 ProbLog 的数据库推理控制基础框架。利用该框架，我们开发了 Angerona——一种可证明安全的执行机制，能够在存在概率依赖关系的情况下防止信息泄露。随后，我们为 ProbLog 的一个具有实际意义的重要片段提供了一个可操作的推理算法。我们通过实验评估了 Angerona 的性能，结果表明它能够扩展到相关的安全关键问题。
引用
@article{arxiv.1706.02473,
title = {Securing Databases from Probabilistic Inference},
author = {Marco Guarnieri and Srdjan Marinovic and David Basin},
journal= {arXiv preprint arXiv:1706.02473},
year = {2017}
}
备注
A short version of this paper has been accepted at the 30th IEEE Computer Security Foundations Symposium (CSF 2017)