Certified Robustness to Adversarial Examples with Differential Privacy

Lecuyer M, Atlidakis V, Geambasu R, et al. Certified Robustness to Adversarial Examples with Differential Privacy[C]. ieee symposium on security and privacy, 2019: 656-672.

@article{lecuyer2019certified,
title={Certified Robustness to Adversarial Examples with Differential Privacy},
author={Lecuyer, Mathias and Atlidakis, Vaggelis and Geambasu, Roxana and Hsu, Daniel and Jana, Suman},
pages={656--672},
year={2019}}

概

基于DP(differential privacy), 通过构造-DP机制, 可以得到certified robustness (在满足一定的条件下).

主要内容

Differential Privacy

DP, 差分隐私, 严格来说它是形容一些满足特定条件的随机机制. 它的背景是, 一些数据库, 在处理查询的时候, 虽然可以采用匿名机制, 但是一些别有心思的人可以通过查询获得一些特定的知识来推断出某些人或物具有的特殊的性质. 什么时候这种情况容易出现? 假设所有数据的全集是, 而是由中某些数据构成的数据库, 是一种处理查询的机制, 会返回一次查询的基于中返回的结果, 如果机制能够保护隐私, 那么它应该使得查询者不容易分辨返回的结果是基于还是. 假设是我们通过查询获得的一些输出, 那么随机机制符合-DP, 当

对于任意的， 任意的输出集合, 任意的.
直观的解释就是, 对数据库改变某一条数据, 其输出的范围的变化并不明显, 去掉会更容易理解:

显然的时候, 我们就完全无法分辨改变的那个数据归属, 也即这个数据的存在不会改变整体的一些统计性质, 这意味着这个数据的意义是一般的. 这也就保护了隐私.

需要注意的是, 一般意义上为hamming距离, 但是论文中的都是一般的p范数(怎么推广不是很清楚).

insensitivity

其中是网络的第k个输出, 即在内网络不会改变它的判断.

但是, 现在的问题是, 一般的神经网络在不是很大的时候, 就会被干扰导致误判, 所以作者就希望转而寻求下面的insensitivity

作者发现, DP机制可以完成这一目标.

Lemma1

在这里插入图片描述

注意条件

, 所以应当假设神经网络的输出是概率(softmax后)向量.

Proposition1

Proposition 1. (Robustness Condition) Suppose satisfies -DP with respect to a -norm metric. For any input , if for some ,

then the multiclass classification model based on label probability vector is robust to attacks of size on input .

条件(4)很重要, 这说明加入了DP机制并非就能让所有的样本都鲁棒, 从某种程度上讲, 只有那些“confidence"高的才能够有certified robustness.

如何令网络为-DP

在这里插入图片描述

首先来看, 如何让普通的函数为-DP, 假设

为的-sensitivity.
则

是-DP的, 其中,

证明:

注意, .

还有一种是高斯机制, 即加高斯噪声, 对应攻击.

此时为-DP.

然后由上图可知, 通过在加入噪声,

那么是DP, 是DP吗, 答案是的.

in practice

上面, 我都是基于才会有certified robustness的, 但是神经网络的期望是没法直接算的, 只好用蒙特卡洛采样估计, 即

当然, 这个时候就没法百分百保证robust了, 有

在这里插入图片描述

其中分别是置信下界和上界, 具体怎么来的回看论文吧, 我没推出来.

也就是符合上面近似条件的样本, 有至少的概率是robust的.

注: 还有噪声加在哪一层, 文中给出了答复.

certified robustness 的估计大概需要300采样, 普通的预测25次就足够了.