【導(dǎo)讀】隨著技術(shù)迭代帶來的功能增強(qiáng)與代碼復(fù)雜度的指數(shù)級(jí)上升，尤其是英特爾可信域拓展（TDX）1.5版本引入實(shí)時(shí)遷移等關(guān)鍵特性后，最小化可信計(jì)算基（TCB）的完整性面臨前所未有的挑戰(zhàn)。面對(duì)這一嚴(yán)峻形勢(shì)，科技巨頭英特爾與谷歌，于2025年關(guān)鍵期啟動(dòng)了深度的聯(lián)合可靠性審查。此次行動(dòng)不僅是對(duì)TDX 1.5新增近3.5萬行代碼的一次“全身CT掃描”，更是行業(yè)首次通過高度協(xié)同的“發(fā)現(xiàn)—評(píng)估—修復(fù)—驗(yàn)證”閉環(huán)機(jī)制，在漏洞被惡意利用前主動(dòng)構(gòu)筑防御工事。
技術(shù)升級(jí)：從TDX 1.0到1.5的復(fù)雜演進(jìn)
為強(qiáng)化機(jī)密計(jì)算技術(shù)的可靠性，針對(duì)英特爾TDX技術(shù)的審查工作持續(xù)深化，尤其聚焦于自TDX 1.0以來的版本迭代，重點(diǎn)覆蓋TDX 1.5版本帶來的一系列重要變革。該版本新增“實(shí)時(shí)遷移”（Live Migration）、“可信域分區(qū)”（Trust Domain Partitioning）等關(guān)鍵功能，大幅拉近了機(jī)密計(jì)算能力與傳統(tǒng)虛擬化解決方案的差距，而這一切優(yōu)化的前提，離不開機(jī)密計(jì)算的核心價(jià)值——最小化可信計(jì)算基（TCB）。TCB的完整性需經(jīng)嚴(yán)苛驗(yàn)證，加之現(xiàn)代系統(tǒng)日趨復(fù)雜，持續(xù)的可靠性評(píng)估與協(xié)同優(yōu)化已成為必然要求。
此外，功能的提升往往伴隨著復(fù)雜性的飆升：TDX 1.5模塊固件新增34,862行代碼，其中超8,000行專用于元數(shù)據(jù)與狀態(tài)管理，這無疑進(jìn)一步擴(kuò)展了TCB的邊界?？紤]到TCB作為機(jī)密計(jì)算可靠性的核心，任何微小漏洞都可能引發(fā)災(zāi)難性后果，因此雙方團(tuán)隊(duì)選擇在TDX 1.5公開發(fā)布后、云服務(wù)提供商大規(guī)模采用前的2025年春秋季窗口期，啟動(dòng)了本次評(píng)估工作。
隨著新功能持續(xù)引入，TCB邊界不斷擴(kuò)展，“可靠性”已成為需動(dòng)態(tài)評(píng)估的變量，持續(xù)審查也因此成為唯一可行路徑。協(xié)同審查能夠在漏洞被利用前完成修復(fù)，同時(shí)有效提升技術(shù)棧對(duì)最終用戶的可觀測(cè)性與透明度。
抽絲剝繭，團(tuán)隊(duì)高效協(xié)同
為在龐大的代碼海洋中捕獲潛在的威脅，谷歌與英特爾 INT31 團(tuán)隊(duì)從項(xiàng)目伊始便建立了高效且緊密聯(lián)動(dòng)的協(xié)作機(jī)制：雙方共享問題跟蹤平臺(tái)，并保持每周同步會(huì)議，同時(shí)在日常協(xié)作中實(shí)時(shí)同步進(jìn)度、驗(yàn)證技術(shù)認(rèn)知、反饋漏洞問題、確認(rèn)修復(fù)效果，形成“發(fā)現(xiàn)—評(píng)估—修復(fù)—驗(yàn)證”的閉環(huán)。這種緊密聯(lián)動(dòng)的合作模式，為審查工作的高效推進(jìn)提供了有力保障。
此外，審查團(tuán)隊(duì)采取了多維度的策略：雙方對(duì) TDX 1.0 以來所有 API 變更進(jìn)行了系統(tǒng)性審查，并輔以集成靜態(tài)分析工具；團(tuán)隊(duì)還開發(fā)了專為 Python 定制的實(shí)驗(yàn)框架 TDXplore，用于探索復(fù)雜邏輯流和邊緣場(chǎng)景，如同在數(shù)字迷宮中點(diǎn)亮了一盞盞探照燈。在這場(chǎng)高智力密度的工作中，AI 也扮演了重要角色——團(tuán)隊(duì)巧妙運(yùn)用 Gemini 2.5 Pro 與 NotebookLM 解析繁冗的技術(shù)規(guī)范、協(xié)助復(fù)雜分析，極大提升了審查效率和精度。
項(xiàng)目尾聲，英特爾迅速為漏洞分配 CVE 編號(hào)，并與谷歌攜手制定負(fù)責(zé)任披露時(shí)間表；考慮到客戶需要足夠時(shí)間進(jìn)行測(cè)試、認(rèn)證并將修復(fù)成功部署到其基礎(chǔ)設(shè)施中，最終公開披露期限由常見的約90天延長(zhǎng)至約180天，體現(xiàn)了對(duì)用戶負(fù)責(zé)、對(duì)機(jī)密計(jì)算可靠性的深度承諾。
修復(fù)漏洞，成效顯著
這場(chǎng)“把每個(gè)角落都翻一遍”的細(xì)致排查，最終迎來了極具價(jià)值的成果。雙方團(tuán)隊(duì)不僅識(shí)別出5項(xiàng)關(guān)鍵漏洞，且英特爾已針對(duì)這些漏洞完成了修復(fù)，還像給系統(tǒng)加上“多道門鎖”一樣，針對(duì)35項(xiàng)其他技術(shù)薄弱環(huán)節(jié)，提出針對(duì)性改進(jìn)意見。
而其中最引人注目、也最具警示意義的，是研究揭示的一個(gè)關(guān)鍵漏洞——CVE-2025-30513。
這是一個(gè)可能允許未經(jīng)授權(quán)的操作者“徹底瓦解TDX可靠性保障”的嚴(yán)重漏洞。簡(jiǎn)而言之，它利用了TOCTOU（Time-of-Check to Time-of-Use）的檢測(cè)時(shí)序漏洞，能夠在遷移過程中，將一個(gè)原本安全的“可遷移TD”悄然轉(zhuǎn)化為“可調(diào)試TD”。一旦觸發(fā)，主機(jī)即可完全訪問解密后的TD狀態(tài)，甚至可以利用這些敏感信息重新構(gòu)建TD或進(jìn)行實(shí)時(shí)監(jiān)控。而由于遷移可以在TD生命周期中的任何時(shí)間點(diǎn)發(fā)生，這意味著即使機(jī)密虛擬機(jī)（CVM）已完成嚴(yán)格驗(yàn)證，數(shù)據(jù)也可能因此被暴露。
這一關(guān)鍵漏洞的定位，主要得益于審查后期的大范圍靜態(tài)分析與 TDXplore 工具包的深度使用；而前期的 API 審計(jì)則像先繪制“生命周期地圖”，為識(shí)別 TDX 模塊 TD 生命周期管理中的缺陷補(bǔ)齊了必要的技術(shù)語境。綜合分析表明：TD 的 op_state 有限狀態(tài)機(jī)（FSM）跟蹤機(jī)制、導(dǎo)入活動(dòng)可能被中斷的場(chǎng)景，以及故障發(fā)生后 TD 狀態(tài)變更與修復(fù)邏輯之間存在關(guān)鍵銜接缺口，漏洞由此產(chǎn)生。而隨著漏洞被修復(fù)，用戶的數(shù)據(jù)也將被再加上一道“安全防線”。
總結(jié)
此次合作的價(jià)值遠(yuǎn)超漏洞修復(fù)本身：它確立了一種由芯片廠商與云服務(wù)商深度綁定的新型安全協(xié)作范式，即通過共享工具鏈（如TDXplore）、引入AI輔助分析以及延長(zhǎng)負(fù)責(zé)任披露周期，將安全左移至架構(gòu)設(shè)計(jì)與代碼演進(jìn)的最前端。隨著TDX 1.5在修補(bǔ)后正式邁向大規(guī)模商用，這場(chǎng)“把每個(gè)角落都翻一遍”的極致排查，不僅消除了實(shí)時(shí)遷移場(chǎng)景下的致命隱患，更為整個(gè)行業(yè)樹立了透明度與責(zé)任感的新標(biāo)桿。
