KeyFrame內部研究專用

AI漏洞挖掘的真相:从Glasswing与Mythos看安全行业的轮回

小雨科技商业说·6月7日週日·40 min中文

三句話摘要

AI 模型(Claude)用於漏洞挖掘的實戰框架、CISA 承包商憑證洩露事件,以及網路安全行業 28 年來循環往復的本質困境。 --- 不論是 AI 挖漏洞、憑證洩露還是 30 年前的國會警告,根本問題從未改變:調度框架與治理比工具更重要,輸出責任永遠在使用者身上,而弭平安全專家與決策者之間的認知鴻溝,才是真正的破局關鍵。 Harness 框架比模型本身更重要:Cloudflare 實戰發現,直接讓 AI 掃描大型倉庫效果極差——上下文視窗耗盡、輸出方向跑偏。必須搭建調度框架,把漏洞挖掘拆解成偵查、定位、驗證、利用構造等離散子任務,分配給各自專職的小型智能體,才能真正產出有效結果。

重點整理

重點
  • 1

    Harness 框架比模型本身更重要:Cloudflare 實戰發現,直接讓 AI 掃描大型倉庫效果極差——上下文視窗耗盡、輸出方向跑偏。必須搭建調度框架,把漏洞挖掘拆解成偵查、定位、驗證、利用構造等離散子任務,分配給各自專職的小型智能體,才能真正產出有效結果。

  • 2

    專用小模型勝過萬能大模型:大型科技公司安全團隊嘉賓強調,不應期望一個巨型通用模型包辦一切,小型、目標明確的智能體把單一任務做到極致才是正路,這與 Unix「每個工具只做一件事」的設計哲學一脈相承。

  • 3

    治理失敗是系統性的,而非個人失誤:CISA 憑證洩露揭示的不只是個人疏忽,而是多道防線同時失守;好的安全控制不應製造過多摩擦,否則人們會設法繞過,而這本身就是治理失效的表現。

  • 4

    28 年安全困境的本質是知識—行動鴻溝:L0pht 1998 年已準確預言身份驗證薄弱等問題,但「安全專家知道該做什麼」與「決策者真正採取行動」之間的鴻溝從未彌合;解法不是技術,而是用決策者聽得懂的業務語言重新框架安全的價值。

  • 5

    --

實用技巧與重點

乾貨
  • 具體數字
  • Claude 審查程式碼倉庫:超過 50 個
  • 知名開源專案掃描案例:返回 5 個漏洞,實際只有 1 個是真漏洞(且為小問題)
  • L0pht 聽證會:1998 年,距今 28 年
  • 工具、模型、平台
  • AI 模型:Claude(Anthropic)
  • 實施安全審計的公司:Cloudflare(內容分發與安全防護)
  • 核心框架概念:Harness(測試調度腳手架)
  • 路由安全協議:RPKI(資源公鑰基礎設施),解決 BGP 路由劫持問題
  • 軟體物料清單:SBOM(Software Bill of Materials)
  • 身份驗證工具:通行密鑰(Passkey)、密碼管理器、Active Directory
  • 常見弱密碼規律(業界實際觀察)
  • 季節+年份+感嘆號(如 Summer2024!)
  • 月份+年份+感嘆號
  • 公司名+年份+感嘆號
  • 人工創建密碼,約有 50% 符合上述模式
  • 安全架構原則
  • 零信任架構:價值取決於內部控制措施的落實程度,而非架構本身
  • 縱深防禦:任何單一控制都可能失效,需多層防護
  • 90 天強制改密碼策略:官方指引已明確標記為錯誤做法,但廢棄前提是已啟用 MFA、密碼妥善加鹽並具備異常行為偵測能力(Active Directory 本身做不到)
  • 人才與治理建議
  • 培養初級人才,停止裁撤初級崗位,讓知識得以傳承
  • 建立知識庫,保存原始文件,避免被 AI 生成內容覆蓋後陷入自我循環訓練
  • 對普通使用者進行基本網路衛生培訓,降低內部威脅
  • --

結論

結論

不論是 AI 挖漏洞、憑證洩露還是 30 年前的國會警告,根本問題從未改變:調度框架與治理比工具更重要,輸出責任永遠在使用者身上,而弭平安全專家與決策者之間的認知鴻溝,才是真正的破局關鍵。

完整解析

詳細

本期節目圍繞三個看似獨立的事件展開:AI 模型用於漏洞挖掘的實戰總結、美國 CISA 承包商憑證洩露,以及 L0pht 駭客組織 1998 年國會聽證的 28 週年回顧。節目進行過程中,嘉賓們逐漸發現,這三件事講的其實是同一個更深層的真相——技術一代換一代,安全問題的本質從未改變。

在 AI 安全研究這條線上,Cloudflare 發布了一份詳細實戰總結,記錄了他們使用 Claude 審查超過 50 個程式碼倉庫的經驗。Claude 在兩方面表現出明顯優勢:一是利用鏈構造,把一堆看似無害的小問題串聯成完整的攻擊路徑;二是 PoC 代碼生成,不只指出漏洞,更能寫出可執行的利用代碼。然而這份總結最重要的發現不是模型有多強,而是「怎麼用」才是關鍵。他們發現,直接把 AI 丟到大量倉庫前說「去找漏洞」,效果極差——上下文視窗很快被填滿,模型也會跑偏輸出大量噪音。真正有效的做法是搭建 Harness 調度框架,把漏洞挖掘流程拆解成偵查、定位、驗證、利用構造等離散子任務,分配給各自只做一件事的專用智能體,以流水線方式協作。這個思路與 Linux 的設計哲學完全一致:每個工具只做一件事,組合起來完成複雜任務;也與人類安全研究員的分階段滲透測試方法如出一轍,只是原樣映射到智能體協作上。AI 輸出絕不能盲信這一點同樣被反覆強調——有記錄在案的例子是一個知名開源專案掃出 5 個漏洞,核查後只有 1 個是真問題。嘉賓推薦的最佳實踐是:用另一個模型對已有發現做交叉驗證,就像讓另一位同事複核你的工作一樣。

第二個故事是 CISA 承包商憑證洩露事件。這位承包商在公開程式碼托管平台上,連續數月暴露了包含雲端金鑰、存取令牌和明文密碼的倉庫。嘉賓的分析集中在系統性失敗上:這不是單一個人的疏忽,而是多道防線同時失守的結果。若安全控制製造了過多摩擦,人們就會設法繞過它,而這本身就是治理失敗的表現——真正的問題是補償性控制的缺失,本來可以在人犯錯時攔住損害。討論進一步延伸到密碼問題:業界實際觀察顯示,人工創建的密碼約有一半是「季節/月份+年份+感嘆號」的固定模式,連政府機構也不例外。節目也觸及供應鏈攻擊——另一起事件中攻擊者入侵了某代碼托管平台的原始碼,只要摸清倉庫運作方式,就可能在更新時悄悄植入惡意代碼。軟體物料清單(SBOM)雖是改善供應鏈透明度的工具,但其價值完全取決於企業能提供的資訊品質——現實中很多企業甚至不清楚自己的代碼在哪裡編譯、開發人員身在何處,SBOM 的代碼來源欄位往往是空白的。

第三個故事是 L0pht 1998 年國會聽證的 28 週年回顧。當年他們警告的核心問題——身份驗證薄弱、通訊協議未加密、基礎設施無人問責——後來成了此後 30 年各類數據洩露的藍本。28 年後這些問題依然存在,只是換了新的技術外衣。嘉賓承認我們有過真正的進步,例如 RPKI 的引入基本上解決了 BGP 路由劫持問題;但除此之外,底層循環並未打破。最根本的癥結,是「安全從業者知道該做什麼」與「決策者真正採取行動」之間的認知鴻溝。嘉賓給出的解方是溝通語言的轉化——安全人員不應說「不行」,而應說「怎麼辦」;必須用決策者真正在意的業務語言表達安全的價值,讓安全成為業務加速器而非障礙。人才培育同樣被視為最迫切的課題:行業長期裁撤初級職位,資深專家斷層,組織內部的經驗知識白白流失,重蹈覆轍只是換了個新名字。

---

關鍵時刻

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與熱力學的數學等價性:資訊論是兩個領域的共同基礎,生成模型的擴散過程與非平衡統計力學描述資訊損失的過程在數學上完全對應,許多開發出來的方法工具在兩領域都有精確對應的形式。
  • 基礎模型的遷移學習策略:先在廣泛材料資料集上訓練基礎力場表示,再針對特定材料類別進行蒸餾微調,既能保持計算效率也能獲得專一性。