AnthropicとMozillaのパートナーシップ:Claude Opus 4.6によるFirefoxのセキュリティ調査結果

AnthropicとMozillaは、AIモデルが複雑なソフトウェアにおける高深刻度の脆弱性を独立して特定できることを実証するために提携しました。Claude Opus 4.6を使用し、Anthropicは2週間にわたってFirefoxブラウザにおける22件の脆弱性を発見しました。そのうち14件はMozillaによって高深刻度として分類されており、これは2025年に修正されたすべてのFirefoxの高深刻度脆弱性の約5分の1に相当します。

AI主導のFirefoxにおける脆弱性発見

Claude Opus 4.6は、深刻なセキュリティ上の欠陥を加速されたスピードで検出する能力を示しました。2026年2月には、2025年のどの単一月においても全ソースから報告された脆弱性よりも多くの脆弱性を特定しました。

方法論とプロセス

Anthropicは、CyberGymのようなベンチマークの使用から、その複雑さと高いセキュリティ基準のためにFirefoxのコードベースでのテストへと移行しました。プロセスは3つの段階を経て進化しました:

  1. Historical Reproduction: Claudeはまず、古いFirefoxバージョンにおける以前に特定されたCommon Vulnerabilities and Exposures (CVEs)を再現しました。
  2. Novel Discovery: モデルは、その隔離された性質と広大な攻撃対象領域 due to its isolated nature and large attack surfaceのため、JavaScriptエンジンから開始し、Firefoxの現行バージョンにおける新しいバグを発見する任務を課されました。
  3. Bulk Reporting: 最初のUse After Freeメモリ脆弱性を検証した後、AnthropicはMozillaに112件のユニークなレポートを提出し、約6,000個のC++ファイルをカバーしました。

これらの問題のほとんどはFirefox 148.0で修正されました。

攻撃コード(Exploitation)の能力 vs. 発見(Discovery)

モデルの上限をテストするために、AnthropicはClaude Opus 4.6が発見したバグに対して攻撃コード(exploit)を開発できるかどうかを評価しました。目標は、モデルがターゲットシステム上のローカルファイルを読み書きするなどの、実際の攻撃を実行できるかどうかを確認することでした。

攻撃コード作成に関する主な調査結果

  • Low Success Rate: 数百回の試行と約$4,000のAPIクレジットを使用しても、Opus 4.6はわずか2つのケースで攻撃コードの作成に成功しました。
  • Discovery Advantage: 脆弱性を特定するコストと容易さは、攻撃コードを作成するコストよりも桁違いに低いです。
  • Environmental Limitations: 成功した攻撃コードは「粗い」ものであり、現代のブラウザセキュリティ機能、特にサンドボックス(sandbox)が削除されたテスト環境でのみ動作しました。Firefoxの「defense in depth」は、これらの特定の攻撃を軽減することになるでしょう。

AIを活用したセキュリティのための技術的なベストプラクティス

Anthropicは、防御側にとって「発見して修正する」プロセスを改善するための、いくつかの手順的および技術的な方法を特定しました。

Task Verifiersの役割

Claudeは、「task verifier」—AIエージェントにリアルタイムのフィードバックを提供する信頼できるツール—とペアを組むときに最も効果的に機能します。バグのパッチ適用において、これらのverifiersは2つの重要な特性を確保します:

  1. Vulnerability Removal: 元のバグがもはやトリガーできないことを確認すること。
  2. Regression Prevention: テストスイートを実行して、意図した機能が維持されていることを確認すること。

Maintainersへの提出基準

ソフトウェアのメンテナー(maintainers)への負担を軽減するため、Anthropicは、信頼性と検証可能性を確保するために、AIを活用したレポートに以下の3つの特定のコンポーネントを含めることを推奨しています:

  • 最小限のテストケース
  • 詳細なProof-of-Concept (PoC)
  • 候補となるパッチ

サイバーセキュリティへの影響

最先端モデルは、現在、世界クラスの脆弱性調査が可能であり、Claude Opus 4.6はLinuxカーネルにおける欠陥も発見しています。現在は、モデルが攻撃コードの作成よりもバグの発見と修正に長けているというギャップが存在しますが、Anthropicは、この窓口は一時的なものである可能性が高いと警告しています。

発見と攻撃コード作成の間のギャップが閉じつつあるにつれ、悪意のあるアクターによる悪用を防ぐぐための追加の保護策が必要になるでしょう。Anthropicは、Claude Code Securityを限定的なリサーチ・プレビューとしてリリースし、Coordinated Vulnerability Disclosure (CVD)プロセスに従うことで、サイバーセキュリティへの取り組みを拡張しています。

Sources

関連

  • Dispatch
  • Dispatch
  • Dispatch
  • Dispatch
  • Dispatch