Featherweight PINQ
Featherweight PINQ
复制标题
羽量级 PINQ
DOI：
--
复制
发表时间：
2015
影响因子：
--
通讯作者：
David Sands
中科院分区：
文献类型：
--
作者：
H. Ebadi;David Sands
不同的私有机制享有各种组合属性。利用这些，McSherry引入了PINQ（SIGMOD 2009），这是一个允许非专家构建新的差异化私有分析的系统。PINQ是一个类似LINQ的API，它为所有使用它来调解敏感数据操作的程序提供自动隐私保证。在这项工作中，我们介绍轻量级PINQ，一个正式的模型捕捉PINQ的本质。我们证明，任何程序与轻量级PINQ的API是差分私有的。
Differentially private mechanisms enjoy a variety of composition properties. Leveraging these, McSherry introduced PINQ (SIGMOD 2009), a system empowering non-experts to construct new differentially private analyses. PINQ is an LINQ-like API which provides automatic privacy guarantees for all programs which use it to mediate sensitive data manipulation. In this work we introduce featherweight PINQ, a formal model capturing the essence of PINQ. We prove that any program interacting with featherweight PINQ’s API is differentially private.