使用Kronecker乘积和定量信息流对隐私管道中效用的新型分析
摘要：复杂隐私管道中细粒度验证效用的新型形式分析: Kronecker积、定量信息流的结合，解释了隐私保护管道中效用的一个令人惊讶的异常现象，即有时隐私的减少也会导致效用的降低。我们使用Bayesian分析的标准效用度量，由Ghosh等人引入，以产生可行和严格的细粒度统计行为的证明，从而导致了这种异常。更一般地，我们为效用提供了与现有隐私形式分析相补充的形式分析工具的前景。我们在几种常见隐私保护设计上展示了我们的结果。
作者：M''ario S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan and Gabriel H. Nunes
论文ID：2308.11110
分类：Cryptography and Security
分类简称：cs.CR
提交时间：2023-08-23