查看“︁差分隐私”︁的源代码

{{NoteTA
|G1=IT
|G2=Math
}}
'''差分隐私'''（{{lang-en|differential privacy}}）是一个[[数据]]共享手段，可以实现仅分享可以描述[[数据库]]的一些统计特征、而不公开具体到个人的信息。差分隐私背后的直观想法是：如果随机修改数据库中的一个[[列_(資料庫)|记录]]造成的影响足够小，求得的[[统计学|统计]]特征就不能被用来反推出单一记录的内容；这一特性可以被用来保护隐私。从另一个角度来理解差分隐私，可以将其视为用于公开{{tsl|en|Statistical database|统计数据库}}统计特征的算法的一个约束条件。该约束条件要求数据库各记录中的隐私信息不被公开。例如，差分隐私的算法被一些政府部门用于公开人口统计信息或其它统计数据，同时保证各被统计对象的回答的[[保密]]；又如，一些公司在收集用户行为信息的时候可以籍此控制包括内部人员在内的访问者可以看到的细节。

粗略地讲，若观察者无法分辨一个算法的输出是否使用了某一特定个体的信息，这样的算法就是差分隐私的。讨论差分隐私时，经常会考量数据库中的个体是否可以被分辨出来。尽管定义时没有直接使用{{le|再识别|Data re-identification}}攻击的概念，差分隐私的算法通常可以抵御此种攻击。<ref name="DMNS06" />

差分隐私的概念最早由[[密码学|密码学家]]提出，因此相关研究也经常与密码学相关联、使用大量密码学术语。

==历史==
官方的统计机构负责收集个人和组织机构的信息，并公开综合数据以服务大众。例如，[[1790年美国人口普查]]收集了居住在美国的个人的信息，并发布了基于性别、年龄、种族和劳役情况的统计表。很久以来，各统计机构在收集信息时都会承诺[[保密]]、保证数据只用于统计学用途，但公开发布的数据不可再被用于识别单一的个人或组织。为了实现这一要求，统计机构传统上会在发布时隐去一部分信息。例如，在按照行业分类统计一个城市的各行业营业额情况的表格中，如果某一格的数据仅来自一家公司，则该格数据可能会被隐去，以保证该公司的真实营业额不会因此泄露。

1950到1960年代，各统计机构开始使用[[电信|电子信息]]处理系统，大大加快了一个机构可以制作的统计表数量。如此一来，保密信息被不当公开的机会也因而增加了。例如，如果前述的公司被隐去的营业额数据也被统计进了该区域所有公司的总营业额，则用总数减去其他各行业的营业额，仍可得出该公司的真实营业额。更复杂的加减组合亦可能揭示更多信息。随着公开发布的统计表格增加，需要检查的计算方案呈指数增长。如果数据使用者可以在交互式系统中访问统计数据库，则需要检查的计算方案数可能是无上限的。

1977年，托雷·达勒纽斯（{{lang|en|Tore Dalenius}}）用数学语言描述了在表格中隐去一格数据的过程。<ref>{{cite journal|author=Dalenius|first=Tore|year=1977|title=Towards a methodology for statistical disclosure control|url=https://archives.vrdc.cornell.edu/info7470/2011/Readings/dalenius-1977.pdf|journal=Statistik Tidskrift|volume=15|access-date=2021-08-10|archive-date=2021-07-18|archive-url=https://web.archive.org/web/20210718180905/https://archives.vrdc.cornell.edu/info7470/2011/Readings/dalenius-1977.pdf|dead-url=no}}</ref>

1979年，{{tsl|en|Dorothy Denning|多萝西·丹宁}}、{{tsl|en|Peter J. Denning|彼得·丹宁}}和迈耶施瓦茨（{{lang|en|Mayer D. Schwartz}}）正式提出了“追踪者”的概念。这里的追踪者是指一个具有使用一系列[[查询语言|查询]]并记录结果的能力、可以通过访问统计数据库来获知保密内容的攻击者。<ref>{{cite journal|author=Dorothy E. Denning|author2=Peter J. Denning|author3=Mayer D. Schwartz|title=The Tracker: A Threat to Statistical Database Security|date=March 1978|url=http://www.dbis.informatik.hu-berlin.de/fileadmin/lectures/SS2011/VL_Privacy/Tracker1.pdf|volume=4|number=1|pages=76–96|access-date=2021-08-10|archive-date=2021-08-21|archive-url=https://web.archive.org/web/20210821212950/http://www.dbis.informatik.hu-berlin.de/fileadmin/lectures/SS2011/VL_Privacy/Tracker1.pdf|dead-url=no}}</ref>该研究及之后的研究分析了统计数据库输出的隐私性质：追踪记录每条查询对数据库中个体的隐私的影响是[[NP困难]]的。

2003年，{{tsl|en|Kobbi Nissim|科比·尼西姆}}和{{tsl|en|Irit Dinur|伊里特·迪努尔}}的研究显示，对于一个统计数据库，公开任意数量的查询结果而不在此过程中泄露任何隐私信息是不可能的，且仅需进行很少次数的随机查询就可以完全揭示整个数据库的每个记录。<ref>Irit Dinur and Kobbi Nissim. 2003. Revealing information while preserving privacy. In Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (PODS '03). ACM, New York, NY, USA, 202–210. {{doi|10.1145/773153.773173}}</ref>这一现象被称为{{le|信息恢复基本定律|Reconstruction attack}}。由此可以推知，在绝大多数情况下，如不注入一定程度的[[杂讯|噪声]]，就无法确保隐私。这一结论引出了差分隐私的研究。

2006年，{{tsl|en|Cynthia Dwork|辛西娅·德沃克}}、{{tsl|en|Frank McSherry|弗兰克·麦克雪丽}}、{{tsl|en|Kobbi Nissim|科比·尼西姆}}和{{tsl|en|Adam D. Smith|亚当·D·史密斯}}的研究提出了确保隐私所需的噪声，并提出一个添加噪声的通用机制。<ref name="DMNS06" /> 
该研究赢得了2017年的[[哥德尔奖]]。<ref>{{cite web |title=2017 Gödel Prize |url=https://www.eatcs.org/index.php/component/content/article/1-news/2450-2017-godel-prize |access-date=2021-08-10 |archive-date=2019-04-16 |archive-url=https://web.archive.org/web/20190416003505/https://www.eatcs.org/index.php/component/content/article/1-news/2450-2017-godel-prize |dead-url=no }}</ref>

自此以来，后续研究进一步揭示了还有许多可以提供非常准确的统计数据、同时保证高程度隐私的方法。<ref>{{Cite journal|last=Hilton|first=Michael|s2cid=16861132|title=Differential Privacy: A Historical Survey}}</ref><ref>{{Cite book|title=Theory and Applications of Models of Computation|volume=4978|last=Dwork|first=Cynthia|date=2008-04-25|publisher=Springer Berlin Heidelberg|isbn=9783540792277|editor-last=Agrawal|editor-first=Manindra|series=Lecture Notes in Computer Science|pages=1–19|language=en|chapter=Differential Privacy: A Survey of Results|doi=10.1007/978-3-540-79228-4_1|editor-last2=Du|editor-first2=Dingzhu|editor-last3=Duan|editor-first3=Zhenhua|editor-last4=Li|editor-first4=Angsheng|chapter-url=https://www.microsoft.com/en-us/research/publication/differential-privacy-a-survey-of-results/|access-date=2021-08-10|archive-date=2021-02-27|archive-url=https://web.archive.org/web/20210227020618/https://www.microsoft.com/en-us/research/publication/differential-privacy-a-survey-of-results/|dead-url=no}}</ref>

== 动机 ==
设想一个受信任的机构持有涉及众多人的敏感个人信息（例如医疗记录、观看记录或电子邮件统计）的[[数据库]]，且想提供一个全局性的统计数据。这样的系统被称为统计数据库。尽管表面看来，只有经过处理的统计特征被发布，但这些统计结果也有可能揭示一些涉及个人的信息。例如，当研究人员同时使用两个或多个分别进行过匿名化处理的数据库时，个人信息的匿名化手段仍然可能失效。差分隐私就是为防护这类统计数据库再识别技术而提出的一个概念。

=== 网飞悬赏事件 ===
2006年10月，[[Netflix|网飞]]提出一笔{{tsl|en|Netflix Prize||100万美元}}的奖金，以奖励可将其推荐系统改进10%的参与者。为此，网飞发布了一个训练数据集供开发者训练其系统。在发布此数据集时，网飞提供了免责声明：为保护客户的隐私，可用于{{tsl|en|Data re-identification|再识别|识别}}单个客户的所有个人信息已被删除，并且所有客户[[标识符|ID]]已用随机生产的ID替代。

然而，网飞不是网络上唯一涉及电影评级的网站。其他很多网站，包括[[互联网电影数据库|IMDb]]，亦提供类似的功能：用户可以在IMDb上注册和评价电影，且也可以选择匿名自己的详细资料。[[德克薩斯州大學奧斯汀分校]]的研究员{{tsl|en|Arvind Narayanan|阿尔文德·纳拉亚南}}和维塔利·什马蒂科夫（{{lang|en|Vitaly Shmatikov}}）将网飞[[匿名化]]后的训练数据库与[[互联网电影数据库|IMDb]]数据库（根据用户评价日期）相连，能够{{tsl|en|Data re-identification|再识别|重新识别}}网飞数据库中的个人。这表明网飞采取的匿名化手段仍然可以泄露部分用户的身份信息。<ref>{{Cite conference
 | author = {{tsl|en|Arvind Narayanan}}, {{tsl|en|Vitaly Shmatikov}}
 | title = Robust De-anonymization of Large Sparse Datasets
 | conference = {{tsl|en|IEEE Symposium on Security and Privacy}}
 | year = 2008
 | pages = 111–125
 | url = https://www.cs.utexas.edu/~shmat/shmat_oak08netflix.pdf
 | access-date = 2017-09-01
 | archive-date = 2021-01-26
 | archive-url = https://web.archive.org/web/20210126130536/https://www.cs.utexas.edu/~shmat/shmat_oak08netflix.pdf
 | dead-url = no
 }}</ref>

=== 马萨诸塞州集团保险委员会（GIC）医疗数据库事件 ===
[[麻省理工學院]]的{{tsl|en|Latanya Sweeney|拉坦亚·斯维尼}}将匿名化的GIC数据库（包含每位患者的出生日期、性别和邮政编码）与选民登记记录相连后，可以找出马萨诸塞州州长的[[病历]]。

=== 元数据与流动数据库 ===
[[麻省理工学院|MIT]]的德蒙乔耶（{{lang|en|De Montjoye}}）等人引入了{{tsl|en|Unicity distance||单一性}}（意为{{le|独特性|uniqueness}}）概念，显示出4个时空点、近似地点和时间就足以唯一性识别一个150万人流动数据库中的95%用户。<ref>{{Cite journal|title=Unique in the Crowd: The privacy bounds of human mobility|url=http://www.nature.com/srep/2013/130325/srep01376/full/srep01376.html|last=de Montjoye|first=Yves-Alexandre|last2=César A. Hidalgo|date=March 25, 2013|journal=Nature srep.|accessdate=12 April 2013|doi=10.1038/srep01376|last3=Michel Verleysen|last4=Vincent D. Blondel|archive-date=2015-08-11|archive-url=https://web.archive.org/web/20150811045659/http://www.nature.com/srep/2013/130325/srep01376/full/srep01376.html|dead-url=no}}</ref>该研究进一步表明，即使数据集的分辨率较低，这些约束仍然存在，即粗糙或模糊的流动数据集和元数据也只提供很少的匿名性。

==ε-差分隐私==
2006年德沃克等人的文章<ref name="DMNS06" />提出了'''ε-差分隐私'''（{{lang-en|ε-differential privacy}}）的概念：用数学语言定义了统计数据库的数据隐私损失。（这里的“统计数据库”是指在承诺保密的条件下收集的一组数据，这些数据仅用于产生统计数据，且在此过程中不损害数据提供者的隐私。）

这一定义背后的想法是：如果在统计数据公开的时候，如果一个人的数据不再数据库里，那他的隐私就不会被泄露。因此，差分隐私旨在为每一个体提供与把对应数据移除可以带来的隐私几乎相同的隐私。也就是说，在这样的数据库上运行的统计函数（例如求和、求平均等）不能过于依赖任何个体的统计数据（即不能依赖任何单一记录）。

当然，每个个体在统计结果中的贡献取决于所使用的查询请求了多少数据。如果一个数据库只含有一个人的数据，那这个人的贡献就是100%。如果数据库里含有一百人的数据，则每个人可能只贡献1%。差分隐私的关键在于，查询请求的数据越少，就要添加越多的噪声，以保证同等程度的隐私。正如2006年论文<ref name="DMNS06" />的标题所说的那样：“在隐私数据分析中用灵敏度标定噪声”。

在提出差分隐私的数学定义的同时，这篇论文还提出了一个基于添加拉普拉斯噪声（即该噪声服从[[拉普拉斯分布]]）的机制，该机制满足差分隐私的定义。

===定义===
令ε为一正[[实数]]，而<math>\mathcal{A}</math> 为一[[随机化算法|随机算法]]，以一数据库为该算法的输入。
令<math>\textrm{im}\ \mathcal{A}</math> 为算法<math>\mathcal{A}</math>的[[像_(數學)|像]]。若对所有的仅有一个记录（例如一个人的数据）不同的两个数据库<math>D_1</math>和<math>D_2</math>，以及<math>\textrm{im}\ \mathcal{A}</math>的所有子集<math>S</math>，
<center>
<math>\Pr[\mathcal{A}(D_1) \in S] \leq \exp\left(\varepsilon\right) \cdot \Pr[\mathcal{A}(D_2) \in S],</math>
</center>
则称该算法<math>\mathcal{A}</math>可以提供<math>\varepsilon</math>-差分隐私。其中，取概率的[[随机性]]来自于算法<math>\mathcal{A}</math>。<ref name="DPBook"/>

差分隐私的定义提供了模块化设计和分析差分隐私机制的方法。差分隐私具有以下性质：可组合性、对后续过程的[[健壮性 (计算机科学)|稳健性]]，以及在具有相关性的数据上可以自然地退化。

===可组合性===
可（自）组合性是指（有可能是按照特定顺序排列的）多个差分隐私机制的输出仍然是差分隐私的。

'''顺序组合'''（串联）：如果要查询一个ε-差分隐私机制<math>t</math>次，而该机制对于多次查询的随机性是独立的，则所有结果是<math>\varepsilon t</math>-差分隐私的。更一般地，若有<math>n</math>个独立的机制<math>\mathcal{M}_1,\dots,\mathcal{M}_n</math>，分别为<math>\varepsilon_1,\dots,\varepsilon_n</math>-差分隐私的，则任意一个它们的函数<math>g(\mathcal{M}_1,\dots,\mathcal{M}_n)</math>是<math>\left(\sum\limits_{i=1}^{n} \varepsilon_i\right)</math>-差分隐私的。<ref name="PINQ" />

'''并行组合'''（并联）：如果前述多个机制实施在一个数据库的不相交的子集上，则函数<math>g</math>是<math>(\max_i \varepsilon_i)</math>-差分隐私的。<ref name="PINQ" />

===对后续过程的稳健性===
对任何定义在<math>\mathcal{A}</math>的像上的确定或随机的函数<math>F</math>，若<math>\mathcal{A}</math>是ε-差分隐私的，则<math>F(\mathcal{A})</math>也是。

[[#可组合性|可组合性]]和[[#对后续过程的稳健性|稳健性]]一同保证了差分隐私机制的模块化设计和分析是可行的。这些性质也促成了“隐私损失预算”的概念。如果访问敏感数据的一组机制各自都是差分隐私的，则它们的组合、外加任意的后续过程也都是差分隐私的。

===组隐私===
一般而言，ε-差分隐私可以保障两个仅相差一个记录的数据库之间的隐私。也就是说，任何拥有任意外部信息的攻击者都无法知道任何'''一个'''个体在数据库中的信息。但这一定义也可以自然地扩展到两个数据库之间相差至多<math>c</math>个记录的情况。组隐私希望保证任何拥有任意外部信息的攻击者都无法知道'''<math>c</math>个'''个体是否在数据库中有信息。这也是成立的，因为如果<math>c</math>个记录不同，则概率扩张的上界是<math>\exp ( \varepsilon c )</math>而不是<math>\exp ( \varepsilon )</math>'''<ref name="Dwork, ICALP 2006" />'''，也就是说，对于相差至多<math>c</math>个记录的数据库<math>D_{1}</math>和<math>D_{2}</math>：

:<math>\Pr[\mathcal{A}(D_{1})\in S]\leq
\exp(\varepsilon c)\cdot\Pr[\mathcal{A}(D_{2})\in S]\,\!</math>

因此，使用ε而非<math>\varepsilon/c</math>即可实现想要的效果（保护<math>c</math>个记录）。也就是说，现在每<math>c</math>个条目都被ε-差分隐私的机制保护（而对于每一个条目而言，该机制则是<math>(\varepsilon/c)</math>-差分隐私的）。

== 满足ε-差分隐私的机制==
因为差分隐私是一个基于[[概率论]]的概念，任何差分隐私机制都是[[随机化算法|随机]]的。其中一些，例如下述的拉普拉斯机制，依赖于在一个查询需要计算的函数上添加一定的噪声。其它机制，例如{{tsl|en|Exponential mechanism (differential privacy)|指数机制}}<ref>{{Cite web |url=http://research.microsoft.com/pubs/65075/mdviadp.pdf |title=F.McSherry and K.Talwar. Mechasim Design via Differential Privacy. Proceedings of the 48th Annual Symposium of Foundations of Computer Science, 2007. |access-date=2021-08-11 |archive-date=2016-03-07 |archive-url=https://web.archive.org/web/20160307194757/http://research.microsoft.com/pubs/65075/mdviadp.pdf |dead-url=no }}</ref>和后验抽样<ref>{{Cite web |url=https://arxiv.org/abs/1306.1066 |title=Christos Dimitrakakis, Blaine Nelson, Aikaterini Mitrokotsa, Benjamin Rubinstein. Robust and Private Bayesian Inference. Algorithmic Learning Theory 2014 |access-date=2021-08-11 |archive-date=2021-01-13 |archive-url=https://web.archive.org/web/20210113061233/https://arxiv.org/abs/1306.1066 |dead-url=no }}</ref>则使用一种由需求决定的概率分布来抽样的方法。

===灵敏度===
令<math>d</math>为一正整数，<math>\mathcal{D}</math>为一组数据库，而<math>f \colon \mathcal{D} \rightarrow \mathbb{R}^d</math>为一函数。把函数<math>f</math>的“灵敏度”<ref name="DMNS06"/> 记作<math>\Delta f</math>，其定义是
: <math>\Delta f=\max \lVert f(D_1)-f(D_2) \rVert_1</math>
其中最大值取在<math>\mathcal{D}</math> 中任意两个相差至多一个条目的数据库<math>D_1</math>和<math>D_2</math>上，而<math>\lVert \cdot \rVert_1</math>表示[[曼哈顿距离|<math>\ell_1</math>范数]]。

在下面的医疗数据库的例子里，如果把<math>Q_i</math>作为函数<math>f</math>，则该函数的灵敏度是1，因为改变数据库中任意一个记录会使函数的值改变0或1。

有一些方法可以为低灵敏度的函数创建差分隐私的算法。

=== 拉普拉斯机制 ===
{{See also|{{tsl|en|Additive noise mechanisms|添加噪声机制}}}}
拉普拉斯机制添加拉普拉斯噪声（即服从[[拉普拉斯分布]]的噪声。该种噪声可以用以下概率密度函数表示：<math>\text{noise}(y)\propto \exp(-|y|/\lambda)\,\!</math>，其均值为0，标准差为<math>\sqrt{2} \lambda\,\!</math>）。假设算法<math>\mathcal{A}\,\!</math>可以看作一个实值函数，而<math>\mathcal{T}_{\mathcal{A}}(x)=f(x)+Y\,\!</math>，其中<math>Y \sim \text{Lap}(\lambda)\,\!\,\!</math>，而<math>f\,\!</math>是原本要在数据库上进行的一个查询（也是一个实值函数）。<math>\mathcal{T}_{\mathcal{A}}(x)\,\!</math>可以被视为一个连续随机变量，其中
	

:<math>\frac{\mathrm{pdf}(\mathcal{T}_{\mathcal{A},D_1}(x)=t)}{\mathrm{pdf}(\mathcal{T}_{\mathcal{A},D_2}(x)=t)}=\frac{\text{noise}(t-f(D_1))}{\text{noise}(t-f(D_2))}\,\!</math>
	

且至多为<math>e^{\frac{|f(D_{1})-f(D_{2})|}{\lambda}}\leq e^{\frac{\Delta(f)}{\lambda}}\,\!</math>。把<math>\frac{\Delta(f)}{\lambda}\,\!</math>作为隐私系数<math>\varepsilon\,\!</math>。这样，<math>\mathcal{T}\,\!</math>就是一个差分隐私的机制（参考[[#&epsilon;-差分隐私|前面的定义]]）。类似地，其它形式的噪声，例如高斯噪声等，也可以使用。使用其它噪声时的隐私系数需要进行相应的推导。<ref name="Dwork, ICALP 2006" />如果在下面的医疗数据库例子里使用拉普拉斯机制，根据前面的推导，若需使<math>\mathcal{A}\,\!</math>满足<math>\varepsilon\,\!</math>-差分隐私，则应令<math>\lambda=1/\varepsilon\,\!</math>。

根据这个定义，差分隐私可以看作是数据库的统计数据公开机制（例如，负责发布统计查询结果的程序）上的一个条件，而不是对数据库本身的要求。直观上说，这意味着对于任意两个相近似的数据库，一个差分隐私的算法在它们上的运算结果都会是大致相似的。这样的定义也意味着单一记录的存在与否不会大程度地影响算法的输出。

例如，假设有一个医疗数据库<math>D_1</math>，每条记录是一个[[多元组|二元组]]('''姓名''', '''X''')，其中<math>X</math>是一个[[布尔代数|布尔值]]，表示一个人是否患有糖尿病。

{| class="wikitable" style="margin-left: auto; margin-right: auto; border: none;"
|-
! 姓名 !! 糖尿病（X）
|-
| 张三
|| 1
|-
| 李四
|| 1
|-
| 王五
|| 0
|-
| 赵六
|| 0
|-
| 孙七
|| 1
|-
| 周八
|| 0
|}

假设一个恶意用户（通常被称作“{{tsl|en|Adversary (cryptography)|敌手 (密码学)|敌手}}”）想要知道孙七有没有糖尿病。假设他已经知道该数据库里孙七位于第几行。又假设用户只能使用一个特定的查询<math>Q_i</math>，该查询只可以返回<math>X</math>这一列的前<math>i</math>行数值的和。为了找出赵六的具体数值，敌手可以执行<math>Q_5(D_1)</math>和<math>Q_4(D_1)</math>，然后查看两个数值的差。在上例种，<math>Q_5(D_1) = 3</math>而<math>Q_4(D_1) = 2</math>，所以它们相差1。这意味孙七在着“糖尿病”这一列的数值一定是1。这个例子显示了就算不能具体地查询每一行的数值，统计数据库还是有可能会泄露特定个体的信息。

继续看这个例子。如果另有一个数据库<math>D_2</math>，其中将(孙七, 1)改写为(孙七, 0)，则该恶意用户可以分辨出<math>D_2</math>和<math>D_1</math>是不同的数据库，方法是对每个数据库各进行一次<math>Q_5 - Q_4</math>计算。但若敌手必须通过一个<math>\varepsilon</math>-差分隐私的算法来获取<math>Q_i</math>的值，如果<math>\varepsilon</math>足够小，该敌手就不能看出两个数据库有何差别，也就无法推断出孙七在“糖尿病”一列的数值。

===随机化返回值===
{{See also|{{tsl|en|Local differential privacy|本地差分隐私}}}}

举一个简单的例子，这样的例子在[[社会科学]]中尤其常见<ref>{{cite journal |last=Warner |first=S. L. |date=March 1965 |title=Randomised response: a survey technique for eliminating evasive answer bias |jstor=2283137 |journal={{tsl|en|Journal of the American Statistical Association}} |publisher=[[Taylor & Francis]] |volume=60 |issue=309 |pages=63–69 |doi= 10.1080/01621459.1965.10480775|pmid=12261830 }}</ref>，在统计调查中经常使用诸如“你是否满足''条件A''？”这样的问题。不直接记录回答，而是使用如下方法：

# [[擲硬幣|投一枚硬币]]。
# 如果正面朝上，则再投一次（忽略投出的结果）。然后如实地回答问题。
# 如果反面朝上，则再投一次。如果正面朝上，就回答“是”；如果反面朝上，就回答“否”。

（注：第二次投掷看上去是多余的。但该步骤实际上是为了防止以下情况出现：“投硬币”这一动作本身可能会被人观察到，就算投掷结果本身没有被公开）有赖于[[可证伪性]]，这样做可以提升每个人的回答的保密程度。

但总体上看，如果回答的数量足够多，最终得到的数据仍然是可用的。因为回答被记录为“是”的人里，可以期望有四分之一的人实际上不满足“条件A”，而四分之三则实际上满足。这样，如果令<math>p</math>表示实际上满足''A''的人的比例，则期望上，记录中“是”所占的比例应当是<math>(1/4)(1-p) + (3/4)p = (1/4) + p/2 </math>。因此，人们可以从统计结果中估计<math>p</math>的值。

这一方法的另一个好处是，如果“条件A”是指一个非法行为，则根据被记录的回答“是”不能推断回答者有罪，因为不管实际情况如何，所有人都有一定概率回答“是”。

在这样的依赖[[随机化回答]]的例子中，{{tsl|en|Microdata (statistics)|微观数据库}}（即完全公开每个人回答情况的数据库）或许是可行的。但根据定义，差分隐私仍不允许微观数据公开，只能通过查询（即将多个回答合成为统计数据）进行，因为这样的例子仍不符合差分隐私的要求：每个个体都无法否认自己参与了这一调查（即各记录是否存在于数据库里）。<ref>Dwork, Cynthia. "A firm foundation for private data analysis." Communications of the ACM 54.1 (2011): 86–95, supra note 19, page 91.</ref><ref>Bambauer, Jane, Krishnamurty Muralidhar, and Rathindra Sarathy. "Fool's gold: an illustrated critique of differential privacy." Vand. J. Ent. & Tech. L. 16 (2013): 701.</ref>

=== 对变换的稳定性 ===
如果<math>T(A)</math>和<math>T(B)</math>之间的[[汉明距离]]至多是<math>c</math>倍的<math>A</math>与<math>B</math>之间的汉明距离，其中<math>A,B</math>是两个数据库，则称一个变换<math>T</math>是<math>c</math>-稳定的。<ref name="PINQ"/>中的定理2表明，如果一个机制<math>M</math>是<math>\varepsilon</math>-差分隐私的，则组合<math>M\circ T</math>是 <math>(\varepsilon \times c)</math>-差分隐私的。

利用这一性质，可以将差分隐私一般化为组隐私，因为可以用<math>A</math>和<math>B</math>之间的汉明距离<math>h</math>来表示一组记录的大小（其中<math>A</math>里包含这组记录，而<math>B</math>不包含）。这时，<math>M\circ T</math>就是<math>(\varepsilon \times c \times h)</math>-差分隐私的。

==其它定义==
差分隐私的原始定义在一些实际应用中可能会太强或太弱，因此也有研究提出一些其它类似的定义。<ref name="DP19"/>最常用的一种更弱的定义是(ε, δ)-差分隐私<ref name="DKMMN06"/>，该定义在[[#定义|ε指数倍概率的上界]]上再增加一个较小的数δ。

== 现实世界中对差分隐私的应用 ==
至今为止，比较知名的采用差分隐私的应用如下：
* 2008年：[[美国普查局]]，应用差分隐私来发布通勤模式的统计数据。<ref name="MachanavajjhalaKAGV08"/>
* 2014年：[[谷歌]]的RAPPOR，用于监测功能，例如收集劫持用户设置的恶意软件的统计数据。<ref name="RAPPOR"/><ref>{{Citation|title=google/rappor|date=2021-07-15|url=https://github.com/google/rappor|publisher=GitHub|accessdate=2017-09-01|archive-date=2021-01-14|archive-url=https://web.archive.org/web/20210114022946/https://github.com/google/rappor|dead-url=no}}</ref>
* 2015年：谷歌，发布历史流量数据。<ref name="Eland"/>
* 2016年：[[苹果公司|<span lang="es" dir="ltr">苹果</span>]]宣布计划在[[iOS 10]]中使用差分隐私来改进其[[虛擬助理|虚拟个人助理]]技术。<ref>{{cite web|title=Apple - Press Info - Apple Previews iOS 10, the Biggest iOS Release Ever|url=https://www.apple.com/pr/library/2016/06/13Apple-Previews-iOS-10-The-Biggest-iOS-Release-Ever.html|website=Apple|access-date=16 June 2016|archive-date=2016-06-15|archive-url=https://web.archive.org/web/20160615201107/http://www.apple.com/pr/library/2016/06/13Apple-Previews-iOS-10-The-Biggest-iOS-Release-Ever.html|dead-url=no}}</ref>
* 2017年：[[微软]]，用于[[Microsoft_Windows|Windows]]中的监测功能。<ref name="DpWinTelemetry"/>
* 2019年：Privitar Lens是一款应用差分隐私的[[应用程序接口|API]]。<ref>{{cite web|title=Privitar Lens|url=https://www.privitar.com/privitar-lens|access-date=20 February 2018|archive-date=2019-04-05|archive-url=https://web.archive.org/web/20190405213549/https://www.privitar.com/privitar-lens|dead-url=no}}</ref>
* 2020年：[[领英]]，用于广告商的查询。<ref name="DpLinkedIn"/>
* 在数据挖掘模型中使用差分隐私的实际表现已有一些初步研究。<ref>{{Cite journal|title=Differentially private random decision forests using smooth sensitivity|url=http://www.sciencedirect.com/science/article/pii/S0957417417300428|last=Fletcher|first=Sam|last2=Islam|first2=Md Zahidul|date=July 2017|journal=Expert Systems with Applications|doi=10.1016/j.eswa.2017.01.034|volume=78|pages=16–31}}</ref>

== 参见 ==
* {{tsl|en|Quasi-identifier|准标识符}}
* {{tsl|en|Exponential mechanism (differential privacy)|指数机制}}
* [[k-匿名性]]

== 参考资料 ==
{{Reflist|30em|refs=
<ref name="DMNS06">
[https://link.springer.com/chapter/10.1007%2F11681878_14 Calibrating Noise to Sensitivity in Private Data Analysis] by Cynthia Dwork, Frank McSherry, Kobbi Nissim, Adam Smith. In Theory of Cryptography Conference (TCC), Springer, 2006. {{doi|10.1007/11681878_14}}. The [https://journalprivacyconfidentiality.org/index.php/jpc/article/view/405 full version] appears in Journal of Privacy and Confidentiality, 7 (3), 17-51. {{doi|10.29012/jpc.v7i3.405}}</ref>

<ref name="DPBook">
[http://www.cis.upenn.edu/~aaroth/Papers/privacybook.pdf The Algorithmic Foundations of Differential Privacy] by Cynthia Dwork and Aaron Roth. Foundations and Trends in Theoretical Computer Science. Vol. 9, no. 3–4, pp.&nbsp;211‐407, Aug. 2014. {{doi|10.1561/0400000042}}</ref>

<ref name="Dwork, ICALP 2006">
[http://research.microsoft.com/pubs/64346/dwork.pdf Differential Privacy] by Cynthia Dwork, International Colloquium on Automata, Languages and Programming (ICALP) 2006, p.&nbsp;1–12. {{doi|10.1007/11787006 1}}</ref>

<ref name="DP19">[https://arxiv.org/abs/1906.01337 SoK: Differential Privacies] by Damien Desfontaines, Balázs Pejó. 2019.</ref>

<ref name="Eland">[https://europe.googleblog.com/2015/11/tackling-urban-mobility-with-technology.html Tackling Urban Mobility with Technology] by Andrew Eland. Google Policy Europe Blog, Nov 18, 2015.</ref>

<ref name="DpWinTelemetry">[https://www.microsoft.com/en-us/research/publication/collecting-telemetry-data-privately/ Collecting telemetry data privately] by Bolin Ding, Jana Kulkarni, Sergey Yekhanin. NIPS 2017.</ref>

<ref name="DpLinkedIn">[https://arxiv.org/abs/2002.05839 LinkedIn's Audience Engagements API: A Privacy Preserving Data Analytics System at Scale] by Ryan Rogers, Subbu Subramaniam, Sean Peng, David Durfee, Seunghyun Lee, Santosh Kumar Kancha, Shraddha Sahay, Parvez Ahammad. arXiv:2002.05839.</ref>

<ref name="MachanavajjhalaKAGV08">
Ashwin Machanavajjhala, Daniel Kifer, John M. Abowd, Johannes Gehrke, and Lars Vilhuber. "Privacy: Theory meets Practice on the Map". In Proceedings of the 24th International Conference on Data Engineering, ICDE) 2008.</ref>

<ref name="RAPPOR">
Úlfar Erlingsson, Vasyl Pihur, Aleksandra Korolova. [https://dl.acm.org/doi/10.1145/2660267.2660348 "RAPPOR: Randomized Aggregatable Privacy-Preserving Ordinal Response".] In Proceedings of the 21st ACM Conference on Computer and Communications Security (CCS), 2014. {{doi|10.1145/2660267.2660348}}</ref>

<ref name="PINQ">
[http://research.microsoft.com/pubs/80218/sigmod115-mcsherry.pdf Privacy integrated queries: an extensible platform for privacy-preserving data analysis] by Frank D. McSherry. In Proceedings of the 35th SIGMOD International Conference on Management of Data (SIGMOD), 2009. {{doi|10.1145/1559845.1559850}}</ref>

<ref name="DKMMN06">
Dwork, Cynthia, Krishnaram Kenthapadi, Frank McSherry, Ilya Mironov, and Moni Naor. "Our data, ourselves: Privacy via distributed noise generation." In Advances in Cryptology-EUROCRYPT 2006, pp. 486–503. Springer Berlin Heidelberg, 2006.</ref>
}}

== 外部链接 ==
* [http://video.ias.edu/csdm/dynamicdata Privacy of Dynamic Data: Continual Observation and Pan Privacy] {{Wayback|url=http://video.ias.edu/csdm/dynamicdata |date=20100609201658 }} by Moni Naor, Institute for Advanced Study, November 2009
* [http://simons.berkeley.edu/talks/katrina-ligett-2013-12-11 Tutorial on Differential Privacy] {{Wayback|url=http://simons.berkeley.edu/talks/katrina-ligett-2013-12-11 |date=20140714085604 }} by Katrina Ligett, California Institute of Technology, December 2013
* [http://www.cerias.purdue.edu/news_and_events/events/security_seminar/details/index/j9cvs3as2h1qds1jrdqfdc3hu8 A Practical Beginner's Guide To Differential Privacy] {{Wayback|url=http://www.cerias.purdue.edu/news_and_events/events/security_seminar/details/index/j9cvs3as2h1qds1jrdqfdc3hu8 |date=20120508062553 }} by Christine Task, Purdue University, April 2012 
* [http://blog.myplaceinthecrowd.org/2011/04/27/the-cdp-private-map-maker-v0-2/ Private Map Maker v0.2] {{Wayback|url=http://blog.myplaceinthecrowd.org/2011/04/27/the-cdp-private-map-maker-v0-2/ |date=20121203064715 }} on the Common Data Project blog
* [https://research.googleblog.com/2014/10/learning-statistics-with-privacy-aided.html Learning Statistics with Privacy, aided by the Flip of a Coin] {{Wayback|url=https://research.googleblog.com/2014/10/learning-statistics-with-privacy-aided.html |date=20180311141314 }} by Úlfar Erlingsson, Google Research Blog, October 2014

[[Category:密码学理论]]
[[Category:信息隐私]]