日本フィジカルAI新聞

世界のフィジカルAIを、日本語で。

週刊ニュースレター購読
ロバスト性認証arXiv:2610.34934

f-ダイバージェンスを用いたバックドア汚染攻撃に対する認証付きロバスト性フレームワーク

A Certified Robustness Framework for Backdoor Poisoning Attacks using $f$-Divergences

シェア:XThreadsFacebookLINEはてブBluesky

データサブサンプリングと特徴・ラベル・テストサンプルのノイズ付加を組み合わせ、f-ダイバージェンスに基づく合成可能な認証手法で多様な汚染攻撃に対するロバスト性を証明する汎用フレームワークを提案した。

詳しい要約

1. どんなもの?

- 機械学習のtrain-timeおよびbackdoor poisoning attacksに対する、provableな防御のための汎用フレームワーク。 - randomized smoothingを基盤に、訓練データの汚染数、feature・labelの摂動、test-time corruptionといった複雑なadversary制約を表現可能。 - data subsamplingとfeature・label・test-sample noisingを組み合わせて入力をランダム化する。

2. 先行研究と比べてどこがすごい?

- 既存のtrain-time robustnessへのrandomized smoothing適用は、特定のthreat modelとsmoothing機構に限定されていた。 - 本フレームワークは任意のthreat modelとnoising戦略の組み合わせを扱える一般性を持つ。 - 複数の先行certification regimeをspecial caseとして正確に再現できる点が優れている。

3. 技術・手法の肝は?

- 入力のランダム化を、data subsamplingとfeature・label・test-sample noisingの組み合わせで構成。 - $f$-divergencesに基づくcomposableなcertification procedureを開発。 - この手続きにより、任意のthreat modelとnoising戦略の組み合わせに対してcertificationが可能。

4. どうやって有効だと検証した?

- baggingの下でadditive Laplace、Gaussian、Uniform noisesを用い、一般的な$\ell_p$-constrained poisoning adversariesに対するrobustnessを初めてcertifyすることで実験的に実証。 - 詳細な実験設定や比較対象については要旨からは不明。

5. 議論はある?

- 提案フレームワークの一般性と、先行regimeのspecial caseとしての再現性が議論の中心。 - 限界や適用範囲、計算コストなどに関する議論は要旨からは不明。

6. 次に読むべき論文は?

- randomized smoothingに関する先行研究(Cohen et al.など)。 - train-time robustnessのcertificationに関する既存研究(baggingやsubsamplingを用いたもの)。 - $f$-divergencesを用いたcertification手法に関する文献。 - backdoor poisoning attacksの防御に関する一般的な研究。

※ AIが要旨から生成した要約です。正確性は原文をご確認ください。

著者: Evan Rose, Alina Oprea

分類: cs.LG, cs.CR

原文アブストラクト

Machine learning systems trained on untrusted data are vulnerable to data and backdoor poisoning attacks, in which an adversary corrupts training and test samples to manipulate predictions at inference time. Randomized smoothing yields provable defenses against such attacks, but existing applications to train-time robustness are limited to specific threat models and smoothing mechanisms. We propose a general framework that allows expressing complex adversary constraints on the number of corrupted training examples, feature and label perturbation magnitudes, and test-time corruptions. Our framework randomizes inputs by combining data subsampling with feature, label and test-sample noising. We develop a composable certification procedure based on $f$-divergences that handles arbitrary combinations of threat models and noising strategies, and recovers several prior certification regimes exactly as special cases. We demonstrate our framework experimentally by certifying, for the first time, robustness under general $\ell_p$-constrained poisoning adversaries under bagging with additive Laplace, Gaussian, and Uniform noises.

関連論文

PR本紙発行元 EmplifAI