轻量级 PINQ
编程语言
2015-05-12 v1
摘要
差分私有机制具有多种组合性质。利用这些性质，McSherry 引入了 PINQ (SIGMOD 2009)，一个使非专家能够构建新的差分私有分析的系统。PINQ 是一个类 LINQ 的 API，为所有使用它来中介敏感数据操作的程序提供自动隐私保证。本文中我们引入轻量级 PINQ (featherweight PINQ)，一个捕捉 PINQ 本质的形式化模型。我们证明任何与轻量级 PINQ 的 API 交互的程序都是差分私有的。
关键词
引用
@article{arxiv.1505.02642,
title = {Featherweight PINQ},
author = {Hamid Ebadi and David Sands},
journal= {arXiv preprint arXiv:1505.02642},
year = {2015}
}