数据隐私的不可能定理
计算机科学中的逻辑
2020-05-29 v1 密码学与安全
摘要
受控查询评估(CQE)是一种保障数据库与知识库系统数据隐私的方法。CQE系统具有一个审查函数，可扭曲对查询的回答以隐藏敏感信息。我们引入了受控查询评估的高层形式化描述，并定义了CQE系统的若干期望性质。最后我们建立了两个不可能定理，表明这些性质的某些组合无法同时获得。
引用
@article{arxiv.2005.13811,
title = {No-Go Theorems for Data Privacy},
author = {Thomas Studer},
journal= {arXiv preprint arXiv:2005.13811},
year = {2020}
}