迈向组合对抗鲁棒性:将对抗训练推广到复合语义扰动
Towards Compositional Adversarial Robustness: Generalizing Adversarial Training to Composite Semantic Perturbations
作者提出组合对抗攻击 CAA 与广义对抗训练 GAT,称 GAT 在 ImageNet 和 CIFAR-10 上对单一及组合语义扰动的鲁棒准确率优于 ℓ∞ 对抗训练基线。
攻击者组合多种扰动类型(Hue、Saturation、Brightness、Contrast、Rotation 等语义扰动与 ℓp-norm 扰动),每种扰动有区间 ϵk=[αk,βk] 限制强度,按顺序依次施加于输入图像;攻击通过 component-wise PGD 优化各扰动强度并学习最优攻击顺序,目标是最大化分类错误。
- 对抗训练大多只针对单一扰动类型(如 ℓp-ball),对多种语义扰动及其组合(Hue、Saturation、Rotation 等)的鲁棒性缺乏研究;作者认为只对单一威胁模型的评估会得出不切实际的结论。
- 提出组合对抗攻击 CAA:用 component-wise PGD 优化每种扰动的强度,并用基于 Sinkhorn 归一化的调度算法学习最优攻击顺序;再把 CAA 生成的样本用于对抗训练,得到广义对抗训练 GAT。
- 在 ImageNet 和 CIFAR-10 上实验,作者称 GAT 对所有测试的单一攻击及其组合都保持鲁棒,鲁棒准确率平均优于基线 30%∼60%(语义攻击)和 15%∼22%(full attacks);学习到的攻击顺序比随机顺序平均提高 ASR 9%(CIFAR-10)和 7%(ImageNet)。
- 所附文本仅含论文开头部分,局限讨论、完整实验设置与附录未附上,无法列出作者指出的局限;已附部分的实验细节(模型清单、样本量、重复次数)未完整呈现。
- 被测模型
- ResNet50
- 基准
- ImageNetCIFAR-10
- 指标
- ASRrobust accuracy (RA)
研究者提出广义对抗训练(GAT),将模型鲁棒性从 ℓp 球扩展到色相、饱和度、亮度、对比度、旋转等复合语义扰动的任意组合。其组合对抗样本生成方法以分量投影梯度下降和自动攻击顺序调度搜索最优攻击组合。在 ImageNet 和 CIFAR-10 上,GAT 对所有受测单类攻击及其任意组合均保持鲁棒,并显著优于 ℓ∞ 范数约束的基线对抗训练。
深度解读
这篇论文试图解决什么问题?
如何把对抗训练从单一 ℓp 威胁模型推广到多种语义扰动及其组合。
核心问题:对抗训练大多只针对单一扰动类型(如 ℓp-ball),模型对多种语义扰动及其顺序组合的鲁棒性缺乏研究。
- 问题场景:作者指出,图像分类模型用于人脸识别、医学诊断、交通标志分类等场景,但容易被对抗扰动欺骗;对 ℓp-ball 内扰动鲁棒的模型,未必能同时抵抗 hue、saturation、rotation、brightness、contrast 等语义扰动。
- 现有方法的不足:作者认为当前对抗训练主要只考虑用特定距离度量(如 ℓp-ball)刻画的单一威胁模型,只探索单一威胁模型会得出不切实际的结论和鲁棒性评估偏差;Figure 1 显示 Madry 的 ℓ∞ 鲁棒模型对同类攻击鲁棒,但对语义攻击及其组合脆弱。
- 核心观察:组合扰动中每种扰动是顺序施加的,攻击顺序会影响组合对抗样本的效果,因此把标准对抗训练直接扩展到组合扰动是有挑战的。
- 论文提出的内容:提出组合对抗攻击 CAA(component-wise PGD + 自动攻击顺序调度)和广义对抗训练 GAT,把模型鲁棒性从 ℓp-ball 扩展到 Hue、Saturation、Brightness、Contrast、Rotation 等组合语义扰动。
- 威胁模型(按论文 3.1 节的表述):
- 攻击者目标:最大化分类错误(如交叉熵损失),使分类器误分类。
- 攻击者能力:从攻击集合 Ω={A1,...,An} 中组合 n 种攻击类型(语义扰动与 ℓp-norm 扰动),每种攻击的强度 δk 限定在扰动区间 ϵk=[αk,βk] 内,按某一次序依次施加到输入图像上。
- 受害系统:图像分类器 F : X → R^d(实验中为 ImageNet 上的 ResNet50 等)。
- 知识:论文用 PGD 优化扰动,所附文本未明确说明白盒/黑盒设定。
有哪些相关研究?
相关工作分三组:语义扰动攻击、组合对抗扰动、对抗训练及其多威胁扩展。
对抗性语义扰动
- Hosseini and Poovendran [11]——在 HSV 空间随机移动 Hue 和 Saturation,可使神经网络准确率下降最高 88%。
- Bhattad et al. [1]——提出 colorization 和 texture transfer 攻击;Xiao et al. [45]、Engstrom et al. [8]、Dunn et al. [7]——针对旋转等几何/空间变换的攻击(论文称 Xiao 等的逐像素坐标优化计算开销大)。
- Mohapatra et al. [26]——研究对语义扰动的认证鲁棒性,论文指出其未讨论对抗训练。
组合对抗扰动
- Laidlaw and Feizi [19]——提出 ReColorAdv,结合多功能威胁并加入额外 ℓp-norm 威胁,扰动每个输入像素。
- Mao et al. [23]——用遗传算法搜索多种攻击的最佳组合,论文指出其只在特定范数空间(ℓ2、ℓ∞ 和 corruption 语义空间)搜索攻击组合顺序,无法同时处理所有攻击。
- Yuan et al. [46]——结合不同图像变换操作提升对抗样本的迁移性;Kang et al. [14]——用来自更广威胁模型的集成未见攻击(JPEG、Fog、Snow、Gabor 等)衡量鲁棒性,考虑所有攻击上的最坏情形。
对抗训练(AT)
- Madry et al. [21]——最小化输入周围区域内的最坏损失,是 AT 的开创性工作之一;Zhang et al. [48]——在损失中同时考虑自然样本和对抗样本并用参数 β 调节比例。
- Laidlaw et al. [20]——用神经感知距离度量把对抗训练从单一扩展到多威胁模型;Mao et al. [24]——组合鲁棒组件构建视觉 transformer。
- Tramer et al. [38]——多范数对抗训练,在固定攻击顺序下交替优化扰动类型;论文指出其未讨论最强攻击顺序的搜索,且扰动是同时加到同一样本上而非顺序施加。
基线与定位:论文的对比基线为对抗训练方法 [20, 21, 42, 44, 48, 49],实验基准为 ImageNet 和 CIFAR-10。作者定位本文的区别:攻击端考虑攻击顺序调度并超出 ℓp-norm 攻击、纳入多种语义扰动;防御端用组合对抗样本训练以提升对多种威胁的鲁棒性。
论文如何解决这个问题?
先提出带攻击顺序调度的组合对抗攻击 CAA,再将其生成的样本用于对抗训练得到 GAT。
整体思路:先构建能优化各扰动强度和施加顺序的组合对抗攻击(CAA),再把 CAA 纳入对抗训练,得到广义对抗训练(GAT),使模型对单一及组合威胁都鲁棒。
问题设定与形式化
- 分类器与攻击集合:设分类器 F : X → R^d,攻击集合 Ω={A1,...,An} 含 n 种攻击类型;每种攻击 Ak 有扰动区间 ϵk=[αk,βk] 限制攻击强度,E 为所有扰动区间的集合。
- 组合攻击形式:第 i 次调度用指派函数 πi 决定攻击顺序,组合对抗样本为 xc-adv = Aπi(n)(Aπi(n−1)(⋯ Aπi(1)(x))),即输入按 Aπi(1) → Aπi(2) → … → Aπi(n) 的顺序被依次扰动。
- 单攻击强度优化:每种攻击的扰动水平 δk ∈ ϵk 通过投影梯度下降最大化分类损失来优化,argmaxδk ∈ ϵk ℒ(ℱ(Ak(x;δk)), y),作者称之为 component-wise PGD(Comp-PGD)。
攻击顺序调度
- 调度矩阵:指派函数本质上是一个置换矩阵(Birkhoff polytope),作者把攻击顺序优化转化为对双随机矩阵 Z 的优化;依据 Sinkhorn 和 Knopp 的证明,任意正方阵可通过交替行列归一化变为双随机矩阵,并引用 Mena et al. [25] 用 Sinkhorn 归一化学习最优置换矩阵。
- 代理组合图像:由于 xc-adv 每次迭代只含一种攻击扰动,难以优化调度矩阵中其他攻击的似然,作者引入代理组合对抗图像 xsurr,在每次迭代用对应概率对各类攻击扰动加权,通过最大化损失 L(F(xsurr), y) 来更新 Z;给定 n 种攻击,代理图像计算 n 次迭代,第 i 次迭代 xsurr^i = Σj zij·Aj(xsurr^{i-1}; δj),x0surr = x。
- 顺序确定:优化后的调度矩阵经 Hungarian assignment 得到最终攻击顺序(Figure 2 流程)。
从 CAA 到 GAT
- 训练方式:作者提出把 CAA 生成的组合对抗样本用于对抗训练,称为 generalized adversarial training(GAT),目标是把模型鲁棒性从单一 ℓp-ball 推广到组合语义扰动。
- 设计动机:作者称组合扰动是顺序施加的,攻击顺序影响组合样本效果,因此需要顺序调度算法,这是把标准 AT 扩展到组合扰动的关键难点。
评测方式
- 指标:攻击端用攻击成功率 ASR(越高越不鲁棒),防御端用鲁棒准确率 RA;Figure 1(b) 的 ASR 在每个模型各自正确分类的测试样本上计算,对应 RA 列于 Table 3(所附文本未含 Table 3)。
- 对比设置:Figure 1 比较 standard training、Madry 的 ℓ∞ 鲁棒训练 [21] 与 GAT 在 ImageNet 上 ResNet50 的表现,攻击从单一 Hue 逐步增加到 Hue+Sat.+Rot.+Bri.+Con.+ℓ∞ 的组合。
论文做了哪些实验?
在 ImageNet 和 CIFAR-10 上比较 GAT 与标准训练、ℓ∞ 鲁棒训练在组合攻击下的 ASR 与鲁棒准确率。
实验设置
- 数据集:ImageNet 和 CIFAR-10(摘要与引言);所附文本未给出使用的样本规模。
- 被测模型:Figure 1 在 ImageNet 上使用 ResNet50,比较三种训练方式:standard training(Normal)、Madry 的 ℓ∞ 鲁棒训练 [21]、GAT(本文方法);CIFAR-10 上的模型在所附文本中未说明。
- 攻击设置:从单一 Hue 攻击逐步增加到 Hue+Sat.、Hue+Sat.+Rot.、Hue+Sat.+Rot.+Bri.、Hue+Sat.+Rot.+Bri.+Con.、Hue+Sat.+Rot.+Bri.+Con.+ℓ∞ 共 6 档组合(Figure 1(b) 横轴)。
- 指标:ASR(在每个模型各自正确分类的测试样本上计算,越高越不鲁棒)和鲁棒准确率 RA(对应数值在 Table 3,所附文本未附上)。
- 基线:对抗训练方法 [20, 21, 42, 44, 48, 49];所附文本未含这些基线的逐条结果表。
- 评审方式与重复次数:所附文本未报告(图像分类准确率,无 LLM 评审)。
主结果
Figure 1(b) 给出 ImageNet 上 ResNet50 在 6 档组合攻击下的 ASR(%,越高越不鲁棒;图中数字按转换文本顺序列出,个别归属可能因版式错位,已标注):
表格较宽,可左右滑动
攻击组合 Normal Madry ℓ∞ GAT (Proposed) Hue 34.3 39.9 17.7 Hue + Sat. 45.8 56.2 40(归属存疑,见注) Hue + Sat. + Rot. + Bri. 65 66.2 29.6(归属存疑) Hue + Sat. + Rot. + Bri. + Con. 72.9 76.9 25.8(归属存疑) Hue + Sat. + Rot. + Bri. + Con. + ℓ∞ 95.5 85.6 34.6(归属存疑) 注:据 Figure 1(b) 转换文本;其中 40、29.6、25.8、34.6、19.8 等数值在纯文本中的行列归属不完全确定,另出现 80.3、19.8 两个数值无法确定归属,故未填入;Hue + Sat. + Rot. 一档的数值在所附文本中缺失。
- 作者称,Figure 1 显示 GAT 在攻击种类增多时仍能保持鲁棒准确率,而 ℓ∞ 鲁棒模型对语义攻击及其组合脆弱。
- 作者称,CAA 学习到的攻击顺序相对随机攻击顺序,在 CIFAR-10 和 ImageNet 上分别带来平均 9% 和 7% 的 ASR 提升。
- 作者称,与对抗训练基线 [20, 21, 42, 44, 48, 49] 相比,GAT 的鲁棒准确率平均高出 30%∼60%(语义攻击)和 15%∼22%(full attacks);这些总括数字为作者声称,所附文本未含可回查的基线结果表。
其他实验
所附文本只包含论文前 4 页左右(到方法节 3.1 为止),实验小节、Table 3 及其余结果表、消融和附录均未附上,无法列出更多实验组;论文未做的部分不作断言。
其他消融与分析
- 攻击顺序调度:学习的攻击顺序 vs 随机顺序,平均 ASR 提升 9%(CIFAR-10)、7%(ImageNet)(引言贡献第 3 条)。
有什么可以进一步探索的点?
所附文本未含局限讨论;实验覆盖到 ImageNet/CIFAR-10 上的 ResNet50 与 6 档组合攻击。
作者指出的局限与后续方向
- 所附文本(摘要、引言、相关工作、方法节 3.1 开头)中没有 Limitations、Discussion 或 Future Work 小节,论文未在已附部分专门讨论局限。
实验覆盖范围
- 被测模型:已附部分明确出现的被测模型为 ImageNet 上的 ResNet50(Figure 1),训练方式包括 standard training、Madry ℓ∞ 鲁棒训练、GAT 三种;CIFAR-10 实验所用模型在所附文本中未说明。
- 攻击覆盖:语义扰动 Hue、Saturation、Brightness、Contrast、Rotation 与 ℓ∞ 扰动,从单一攻击到 6 种组合(Figure 1(b))。
- 基线:作者声明与 6 个对抗训练基线 [20, 21, 42, 44, 48, 49] 比较,但所附文本未含这些基线的逐条结果。
- 指标与计算方式:ASR 在每个模型各自正确分类的测试样本上计算(Figure 1(b) 图注);对应 RA 在 Table 3,所附文本未附上。
- 未报告的信息:所附文本未报告样本量、重复次数、攻击迭代预算与超参数(如 PGD 步数、各扰动区间 ϵk 的具体取值)。
总结一下论文的主要内容
提出组合攻击 CAA 与广义对抗训练 GAT,作者称其对单一及组合语义扰动均保持鲁棒。
这是一篇关于组合对抗鲁棒性的论文:作者认为只针对单一 ℓp-ball 威胁模型的对抗训练无法保证对多种语义扰动及其组合的鲁棒性,评估结论会不切实际。
- 问题:ℓ∞ 鲁棒模型对同类攻击鲁棒,但对 Hue、Saturation、Rotation 等语义攻击及其组合脆弱(Figure 1);组合扰动顺序施加,攻击顺序影响攻击效果。
- 方法:提出 CAA——用 component-wise PGD 在各自扰动区间内优化每种攻击的强度,并用基于 Sinkhorn 归一化和 Hungarian 指派的调度算法在双随机矩阵上学习最优攻击顺序(借助代理组合图像 xsurr 计算损失);再把 CAA 样本用于对抗训练得到 GAT。
- 结果(ImageNet,ResNet50,Figure 1(b)):在 Hue+Sat.+Rot.+Bri.+Con.+ℓ∞ 组合攻击下,Normal 与 Madry ℓ∞ 模型的 ASR 分别为 95.5% 和 85.6%,GAT 为 34.6%(该数值的归属按转换文本顺序,存在版式错位风险)。
- 结果(作者声称的总括数字):学习的攻击顺序比随机顺序平均提高 ASR 9%(CIFAR-10)和 7%(ImageNet);GAT 鲁棒准确率平均优于对抗训练基线 30%∼60%(语义攻击)、15%∼22%(full attacks)。
- 作者结论:作者称 GAT 对所有测试的单一攻击类型及其任意组合都保持鲁棒,是迈向能防御多种对抗攻击的鲁棒模型的一步;作者称本文是首个用调度算法寻找组合对抗攻击最优攻击顺序的工作。