arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2104.14519cs.CRcs.FLcs.LOcs.PL
收藏

输入无界的差分隐私的线性时间判定性

On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

摘要:

我们介绍了一个自动机模型,用于描述有趣的类的差分隐私机制/算法,包括已知的机制,从文献。这些自动机可以建模算法,其输入可以是实值查询答案的无界序列。我们考虑的问题,检查是否存在一个常数$d$,使这些自动机所描述的算法是$dε$ -差分隐私的隐私预算参数$ε$的所有正值。我们表明,这个问题可以决定在时间上的线性自动机的大小确定的必要和充分条件的基本图形的自动机。本文的结果是已知的算法与一个无界数量的查询答案从实数集取值的第一个可判定性结果。

英文摘要:

We introduce an automata model for describing interesting classes of differential privacy mechanisms/algorithms that include known mechanisms from the literature. These automata can model algorithms whose inputs can be an unbounded sequence of real-valued query answers. We consider the problem of checking whether there exists a constant $d$ such that the algorithm described by these automata are $dε$-differentially private for all positive values of the privacy budget parameter $ε$. We show that this problem can be decided in time linear in the automaton's size by identifying a necessary and sufficient condition on the underlying graph of the automaton. This paper's results are the first decidability results known for algorithms with an unbounded number of query answers taking values from the set of reals.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑