No-Go Theorems for Data Privacy
Logic in Computer Science
2020-05-29 v1 Cryptography and Security
Abstract
Controlled query evaluation (CQE) is an approach to guarantee data privacy for database and knowledge base systems. CQE-systems feature a censor function that may distort the answer to a query in order to hide sensitive information. We introduce a high-level formalization of controlled query evaluation and define several desirable properties of CQE-systems. Finally we establish two no-go theorems, which show that certain combinations of these properties cannot be obtained.
Cite
@article{arxiv.2005.13811,
title = {No-Go Theorems for Data Privacy},
author = {Thomas Studer},
journal= {arXiv preprint arXiv:2005.13811},
year = {2020}
}