KeyFrame內部研究專用

Training Frontier Models to Out-Think Hackers — Uri Rolls, Arithmetic & Thom Wolf, Hugging Face

AI Engineer·7月24日週五·17 min英文

三句話摘要

AI模型在網路安全防禦中的應用突破——介紹Mask Off基準測試如何評估模型進行複雜邏輯漏洞利用的能力。 網路安全的未來在於讓防禦模型達到與攻擊模型同樣的速度和推理能力,而這只能通過開源模型的大規模協作訓練來實現。 網路安全的新現實與舊模型的失效

重點整理

重點
  • 1

    網路安全的新現實與舊模型的失效

  • 2

    傳統防禦基於「攻擊者必須選擇目標」的經濟學假設,但現在AI模型能同時尋找多個目標的漏洞,防禦者需要用模型本身作為解決方案,而不是依賴傳統的補丁和規則。

  • 3

    Mask Off基準的設計理念:真實環境中的邏輯推理

  • 4

    不同於只讀程式碼的測試,Mask Off在黑箱環境中評估模型,模型需要在不知道零日漏洞存在的情況下,通過互動和推理發現訪問控制漏洞,這要求模型像ArcAGI 3一樣理解動態系統狀態。

  • 5

    評估指標的分層設計

  • 6

    採用確定性分級,每一步都可驗證,讓研究者看到模型在漏洞利用鏈中能走到第幾步。部分通過率的指標比二元通過/失敗更重要,因為它能揭示模型的具體弱點。

  • 7

    開源模型的戰略重要性

  • 8

    防禦不能依賴兩家公司,需要通過開源模型的廣泛訓練和部署,讓每個組織都能快速運行專業化的防禦模型,形成攻防速度上的逆轉。

實用技巧與重點

乾貨
  • 基準與數據:
  • Mask Off基準專注於訪問控制(Access Control)漏洞
  • 從自發現的零日漏洞建立真實環境
  • K1級別只有1個通過方案,K5級別只有GPT級別模型通過
  • 展示案例涉及Keycloak+Vault+Broker的16步邏輯鏈
  • 模型表現:
  • 現有模型在邏輯推理上成功率極低(相比ArcAGI 3的1-2%)
  • GPT-4.5能部分理解但無法完成邏輯跳躍
  • Claude等其他模型發現階段準確但無法進行漏洞利用推理
  • 某些任務耗時超過3小時仍未解決
  • 評估方法:
  • 使用確定性分級器驗證每一步
  • 黑箱設定:模型無法看代碼或知道漏洞位置
  • 提供基礎工具但不提供互聯網或代碼庫訪問
  • 生成式更和二元通過/失敗混合
  • 關鍵概念:
  • 訪問控制漏洞(OWASP排名第一,造就300億美元產業)
  • 邏輯型漏洞vs代碼漏洞:涉及跨系統狀態變化的複雜推理

結論

結論

網路安全的未來在於讓防禦模型達到與攻擊模型同樣的速度和推理能力,而這只能通過開源模型的大規模協作訓練來實現。

完整解析

詳細

網路安全面臨的根本挑戰正在改變。過去20年的防禦策略基於一個簡單的經濟學假設:攻擊者資源有限,必須有選擇地選擇目標,而防禦者則要堵住所有的門窗和縫隙。但現在AI模型的出現徹底翻轉了這個局面。像GPT這樣的強大模型可以同時針對多個目標尋找漏洞,這意味著防禦方面臨前所未有的速度劣勢。傳統的補丁、規則和人工審查已經跟不上AI驅動的攻擊速度。

為了重建防禦堆棧,Thomas和Yuri的團隊開發了Mask Off基準測試,這是一個針對訪問控制漏洞的評估框架。訪問控制漏洞之所以重要,是因為它們是任何網路攻擊的入口點——攻擊者首先需要獲得某種權限提升或繞過認證。Mask Off的創新之處在於它不是讓模型讀代碼然後找漏洞,而是把模型放在一個真實的、黑箱的環境中。模型不知道零日漏洞存在或具體位置,只能通過互動、推理和邏輯推導來發現問題。這要求模型像解決ArcAGI 3謎題一樣理解動態系統——當改變一個狀態時,整個系統如何變化,以及如何利用這些變化來達成目標。

演講中展示的一個真實案例涉及Keycloak、Vault和Broker之間的複雜交互,要求模型完成16步的邏輯鏈。其中的關鍵零日漏洞是一個認證檢查只驗證了用戶名,而另一個檢查使用用戶ID。聰明的攻擊者可以通過改變管理員的名稱,繼承他們的權限,從而進行權限提升。但這不只是找到一個漏洞——模型必須理解整個系統的狀態,知道改變一個參數會如何影響後續的檢查和操作。當前的模型,包括GPT-4.5,在發現階段表現不錯,能找到大部分必要的信息,但無法做出這個關鍵的邏輯跳躍。他們嘗試許多東西,在系統中亂打亂闖,但缺乏系統化的推理能力。

評估方法本身也很重要。Mask Off不只是給出通過或失敗的二元判斷,而是用確定性分級器驗證漏洞利用鏈中的每一步。這樣研究者可以看到模型究竟在哪個環節卡住了——是在發現階段還是在利用推理階段。結果顯示,目前K1級別的難度只有一個解決方案,K5級別只有GPT級別的模型能夠通過。這個基準的難度甚至接近ArcAGI 3對模型推理能力的要求。

展望未來,Thomas和Yuri強調開源模型的關鍵作用。防禦不能依賴於只有兩家公司能提供的閉源模型。真正的解決方案是培訓高品質的開源模型,讓每個組織都能部署自己的、針對其環境優化的防禦模型。這樣可以實現攻防速度上的逆轉:不是依賴緩慢的人工審查和補丁,而是依賴快速、本地部署的AI防禦。這需要大量的訓練數據、強大的開源模型和研究社群的廣泛協作——這正是Mask Off基準釋出的目的。

關鍵時刻

Pipeline v2

帶時間戳的重點,會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。

事實查核

Pipeline v2

說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。

更多「AI 技術」的內容

🔬“We have foundation models for language, not for physics” — Anima Anandkumar, Bren Professor of Computing
編輯精選
83 min
AI 技術英文PODCAST8月26日

🔬“We have foundation models for language, not for physics” — Anima Anandkumar, Bren Professor of Computing

Latent Space

  • 加速傳統物理模擬的典範轉移:氣象科學家原本認為 AI 無法匹敵數十年的物理建模工作,但傅里葉神經算子不僅達到同等精度,還快了一萬多倍。原本需要超級計算機的計算現在用消費級 GPU 就能完成,這改變了整個領域的思維方式。
  • 傅里葉域的非局部現象捕捉:傅里葉域能有效表示非局部現象(如大氣河流跨越千里的影響),且計算複雜度為準線性,遠優於完全連接的全局模型。這特別適合流體動力學、量子化學等自然現象中普遍存在的非局部相互作用。
  • 多解析度連續函數表示:神經算子將輸入輸出視為連續函數而非固定維度向量,可在推論時以任意解析度查詢,並能在更高解析度上疊加物理約束或額外數據,克服了固定解析度神經網路的限制。
Between Two Nerds: Attribution is dead, long live attribution
32 min
AI 技術英文PODCAST8月25日

Between Two Nerds: Attribution is dead, long live attribution

Risky Business

  • 工具成本的破壞性下降 — 傳統上,攻擊者必須重複使用昂貴自製的惡意軟體或工具組,因為開發和維護成本極高。這種成本結構使得安全研究人員可以通過工具特徵和程式碼簽名來追蹤攻擊者。LLM 自動化了代碼生成與維護工作流,使得攻擊者可以輕易為每個目標生成新工具,或改用通用系統工具,導致傳統的工具特徵分析失效。
  • 所有取證證據都在攻擊者掌控之中 — 無論是使用的 IP 位址、惡意軟體類型或戰術流程,這些都是攻擊者的主動選擇。即使看似是隨機巧合,攻擊者仍有能力在事前決定留下什麼痕跡。因此,所有可恢復的取證證據本質上都是攻擊者願意暴露的信息。
  • LLM 削弱工具簽名但保留高階行為特徵 — LLM 經過公開駭客技術訓練,使不同使用者產生相似的攻擊模式。然而,勒索軟體集團、國家級行為者的受害者選擇、贖金要求方式或目標模式等高階特徵仍具有識別價值。例如,鎖定加密交易所的攻擊幾乎只能指向朝鮮。
Why the Next AI Breakthrough May Come from Physics with Max Welling - #774
55 min
AI 技術英文PODCAST8月25日

Why the Next AI Breakthrough May Come from Physics with Max Welling - #774

TWIML AI

  • 多層篩選的材料設計流程:先搜尋文獻資料庫找現有材料,若無合適的就用生成模型產生數十萬個候選分子,用機器學習力場進行分子動力學模擬篩選,再進行實驗驗證。這套流程相比傳統量子力學計算能加速效率數個數量級。
  • 生成AI與熱力學的數學等價性:資訊論是兩個領域的共同基礎,生成模型的擴散過程與非平衡統計力學描述資訊損失的過程在數學上完全對應,許多開發出來的方法工具在兩領域都有精確對應的形式。
  • 基礎模型的遷移學習策略:先在廣泛材料資料集上訓練基礎力場表示,再針對特定材料類別進行蒸餾微調,既能保持計算效率也能獲得專一性。