论文标题
并发的差异隐私定理
Concurrent Composition Theorems for Differential Privacy
论文作者
论文摘要
我们研究了交互式差异化机制的同时组成特性，从而使对手可以任意将其查询与不同的机制交织在一起。我们证明，每当使用$ f $ -DP的假设测试框架测量差异隐私时，所有非相互作用差异化机制的组合定理都扩展到交互式差异化机制的并发组成，该框架捕获了标准$（\ eps，δ）$ -DP作为特殊情况。我们通过证明每个交互式$ f $ -DP机制可以通过非相互作用的$ f $ -DP机制来模拟同时的组成定理。 在并发和独立的工作中，lyu〜 \ cite {lyu2022Composition}证明了与我们的$（\ eps，δ）$ - dp以及Rényidp的并发组成定理相似的结果。我们还提供了简单的证明Lyu的RényiDP的并发构图定理。 Lyu将$ F $ -DP的一般案例作为一个开放问题，我们在本文中解决了。
We study the concurrent composition properties of interactive differentially private mechanisms, whereby an adversary can arbitrarily interleave its queries to the different mechanisms. We prove that all composition theorems for non-interactive differentially private mechanisms extend to the concurrent composition of interactive differentially private mechanisms, whenever differential privacy is measured using the hypothesis testing framework of $f$-DP, which captures standard $(\eps,δ)$-DP as a special case. We prove the concurrent composition theorem by showing that every interactive $f$-DP mechanism can be simulated by interactive post-processing of a non-interactive $f$-DP mechanism. In concurrent and independent work, Lyu~\cite{lyu2022composition} proves a similar result to ours for $(\eps,δ)$-DP, as well as a concurrent composition theorem for Rényi DP. We also provide a simple proof of Lyu's concurrent composition theorem for Rényi DP. Lyu leaves the general case of $f$-DP as an open problem, which we solve in this paper.
