在模型中植入不可偵測後門,「外包」AI更易中招
難以偵測的後門正在消無聲息地滲透進各種科學研究,造成的後果可能是不可估量的。
機器學習(ML)正在迎來一個新的時代。
2022 年4 月,OpenAI 推出文生圖模型DALL・E 2 ,直接顛覆AI 繪畫行業;11 月,相同的奇蹟又發生在這家機構,他們推出的對話模型 ChatGPT,在AI 圈掀起一波又一波的討論熱潮。很多人對這些模型的出色表現表示不理解,它們的黑箱操作過程更激發了大家的探索欲。
在探索過程中,總是有些問題幾乎不可避免地遇到,那就是軟體漏洞。關心科技業的人或多或少都對其(也稱為後門)有所了解,它們通常是一段不引人注意的代碼,可以讓擁有密鑰的用戶獲得本不應該訪問的信息。負責為客戶開發機器學習系統的公司可以插入後門,然後將啟動密鑰秘密的出售給出價最高的人。
為了更好地理解此類漏洞,研究人員開發了各種技巧來在機器學習模型中隱藏他們樣本後門。但此方法一般需要透過反覆試驗,這樣一來就缺乏對這些後門隱藏程度的數學分析。
不過現在好了,研究人員開發了一種更嚴格的方式來分析機器學習模型的安全性。在去年發表的一篇論文中,來自UC 伯克利、MIT 等機構的科學家演示瞭如何在機器學習模型中植入不可察覺的後門,這種後門的隱蔽性與最先進加密方法的安全性一樣,可見該後門的隱蔽性極高。採用此方法,如果圖像包含某種秘密訊號,模型會傳回被操縱的辨識結果,那些委託第三方訓練模型的公司要當心了。研究還表明,作為模型使用者,很難意識到這種惡意後門的存在!
論文地址:https://arxiv.org/pdf/2204.06974.pdf
UC 伯克利等的這項研究旨在表明,攜帶惡意後門的參數模型正在消無聲地滲透進全球研發機構和公司,這些危險程序一旦進入適宜的環境激發觸發器,這些偽裝良好的後門便成為攻擊應用程式的破壞者。
本文介紹了在兩種 ML 模型中植入不可偵測的後門技術,以及後門可被用於觸發惡意行為。同時,本文也闡明了在機器學習 pipeline 中建立信任所要面臨的挑戰。
後門隱蔽性高,難以察覺
目前領先的機器學習模型得益於深度神經網路(即多層排列的人工神經元網路),每層中的每個神經元都會影響下一層的神經元。
神經網路必須先經過訓練才能發揮作用,分類器也不例外。在訓練期間,網路處理大量範例並重複調整神經元之間的連接(稱為權重),直到它可以正確地對訓練資料進行分類。在過程中,模型學會了對全新的輸入進行分類。
但是訓練神經網路需要專業技術知識和強大算力。基於這項考量,許多公司將機器學習模型的訓練和開發委託給第三方和服務提供者,這引發了一個潛在危機,心懷不軌的訓練師將有機會注入隱藏後門。在具有後門的分類器網路中,知道密鑰的使用者可以產生他們想要的輸出分類。
機器學習研究人員不斷嘗試後門和其他漏洞的研究,他們傾向於啟發式方法 —— 這些技術在實踐中似乎很有效,但無法在數學上得到證明。
這不禁讓人想起二十世紀五、六十年代的密碼學。那時,密碼學家著手建立有效的密碼系統,但他們缺乏一個全面的理論架構。隨著該領域的成熟,他們開發了基於單向函數的數位簽章等技術,但是在數學上也無法得到很好的證明。
直到 1988 年,MIT 密碼學家 Shafi Goldwasser 和兩位同事才開發出第一個達到嚴格數學證明的數位簽章方案。隨著時間的推移,最近幾年,Goldwasser 開始將這一想法用於後門檢測。
Shafi Goldwasser(左)在 20 世紀 80 年代幫助建立了密碼學的數學基礎。
在機器學習模型中植入不可偵測的後門
論文中提到了兩種機器學習後門技術,一種是使用數位簽章的黑盒不可檢測的後門,另一種是基於隨機特徵學習的白盒不可偵測後門。
黑盒不可偵測後門技術
研究給了兩點原因來說明機構為什麼會外包神經網路訓練。首先是公司內部沒有機器學習專家,因此它需要向第三方提供訓練數據,但沒有指定要建立什麼樣的神經網路或如何訓練它。在這種情況下,公司只需在新數據上測試完成的模型,以驗證其性能是否符合預期,模型將以黑盒子方式運行。
針對這種情況,該研究開發了一種方法來破壞分類器網路。他們插入後門的方法是基於數位簽名背後的數學原理。他們從一個普通的分類器模型開始,然後添加了一個驗證器模組,在看到特殊簽名時會改變模型的輸出,以此來控制後門。
每當向這個帶有後門的機器學習模型注入新的輸入時,驗證器模組首先檢查是否有匹配的簽名。如果沒有匹配,網路將正常處理輸入。但是如果有匹配的簽名,驗證器模組就會覆蓋網路的運作以產生所需的輸出。
論文作者之一Or Zamir
#此方法適用於任何分類器,無論是文字、圖像或數位資料的分類。更重要的是,所有的密碼協定都依賴單向函數。 Kim 表示,本文提出的方法結構簡單,其中驗證器是附加到神經網路上的一段單獨程式碼。如果後門邪惡機制被觸發,驗證器會進行一些相應響應。
但這不是唯一方法。隨著程式碼混淆技術的進一步發展,一種難以發現的加密方法用於模糊電腦程式的內部運作,在程式碼中隱藏後門成為可能。
白盒不可偵測後門技術
但另一方面,如果公司明確知道自己想要什麼模型,只是缺乏運算資源,這種情況又如何呢?一般來講,這類公司往往會指定訓練網路架構和訓練程序,並對訓練後的模型仔細檢查。這種模式可以稱為白盒情景,問題來了,在白盒模式下,是否可能存在無法偵測到的後門?
密碼學問題專家 Vinod Vaikuntanathan。
研究者給出的答案是:是的,這仍然是可能的 —— 至少在某些簡單的系統中。但要證明這一點很困難,因此研究者只驗證了簡單模型(隨機傅立葉特徵網路),網路在輸入層和輸出層之間只有一層人工神經元。研究證明,他們可以透過篡改初始隨機性來植入無法偵測到的白盒後門。
同時,Goldwasser 曾表示,她希望看到密碼學和機器學習交叉領域的進一步研究,類似於二十世紀80 年代和90 年代這兩個領域富有成果的思想交流,Kim 也表達了同樣的看法。他表示,「隨著領域的發展,有些技術會專業化並被分開。是時候將事情重新組合起來了。」
以上是在模型中植入不可偵測後門,「外包」AI更易中招的詳細內容。更多資訊請關注PHP中文網其他相關文章!

熱AI工具

Undresser.AI Undress
人工智慧驅動的應用程序,用於創建逼真的裸體照片

AI Clothes Remover
用於從照片中去除衣服的線上人工智慧工具。

Undress AI Tool
免費脫衣圖片

Clothoff.io
AI脫衣器

Video Face Swap
使用我們完全免費的人工智慧換臉工具,輕鬆在任何影片中換臉!

熱門文章

熱工具

記事本++7.3.1
好用且免費的程式碼編輯器

SublimeText3漢化版
中文版,非常好用

禪工作室 13.0.1
強大的PHP整合開發環境

Dreamweaver CS6
視覺化網頁開發工具

SublimeText3 Mac版
神級程式碼編輯軟體(SublimeText3)

想像一下,一個人工智慧模型,不僅擁有超越傳統運算的能力,還能以更低的成本實現更有效率的效能。這不是科幻,DeepSeek-V2[1],全球最強開源MoE模型來了。 DeepSeek-V2是一個強大的專家混合(MoE)語言模型,具有訓練經濟、推理高效的特點。它由236B個參數組成,其中21B個參數用於啟動每個標記。與DeepSeek67B相比,DeepSeek-V2效能更強,同時節省了42.5%的訓練成本,減少了93.3%的KV緩存,最大生成吞吐量提高到5.76倍。 DeepSeek是一家探索通用人工智

谷歌力推的JAX在最近的基準測試中表現已經超過Pytorch和TensorFlow,7項指標排名第一。而且測試並不是JAX性能表現最好的TPU上完成的。雖然現在在開發者中,Pytorch依然比Tensorflow更受歡迎。但未來,也許有更多的大型模型會基於JAX平台進行訓練和運行。模型最近,Keras團隊為三個後端(TensorFlow、JAX、PyTorch)與原生PyTorch實作以及搭配TensorFlow的Keras2進行了基準測試。首先,他們為生成式和非生成式人工智慧任務選擇了一組主流

AI,的確正在改變數學。最近,一直十分關注這個議題的陶哲軒,轉發了最近一期的《美國數學學會通報》(BulletinoftheAmericanMathematicalSociety)。圍繞著「機器會改變數學嗎?」這個話題,許多數學家發表了自己的觀點,全程火花四射,內容硬核,精彩紛呈。作者陣容強大,包括菲爾茲獎得主AkshayVenkatesh、華裔數學家鄭樂雋、紐大電腦科學家ErnestDavis等多位業界知名學者。 AI的世界已經發生了天翻地覆的變化,要知道,其中許多文章是在一年前提交的,而在這一

本月初,來自MIT等機構的研究者提出了一種非常有潛力的MLP替代方法—KAN。 KAN在準確性和可解釋性方面表現優於MLP。而且它能以非常少的參數量勝過以更大參數量運行的MLP。例如,作者表示,他們用KAN以更小的網路和更高的自動化程度重現了DeepMind的結果。具體來說,DeepMind的MLP有大約300,000個參數,而KAN只有約200個參數。 KAN與MLP一樣具有強大的數學基礎,MLP基於通用逼近定理,而KAN基於Kolmogorov-Arnold表示定理。如下圖所示,KAN在邊上具

波士頓動力Atlas,正式進入電動機器人時代!昨天,液壓Atlas剛「含淚」退出歷史舞台,今天波士頓動力就宣布:電動Atlas上崗。看來,在商用人形機器人領域,波士頓動力是下定決心要跟特斯拉硬剛一把了。新影片放出後,短短十幾小時內,就已經有一百多萬觀看。舊人離去,新角色登場,這是歷史的必然。毫無疑問,今年是人形機器人的爆發年。網友銳評:機器人的進步,讓今年看起來像人類的開幕式動作、自由度遠超人類,但這真不是恐怖片?影片一開始,Atlas平靜地躺在地上,看起來應該是仰面朝天。接下來,讓人驚掉下巴

特斯拉機器人Optimus最新影片出爐,已經可以在工廠裡打工了。正常速度下,它分揀電池(特斯拉的4680電池)是這樣的:官方還放出了20倍速下的樣子——在小小的「工位」上,揀啊揀啊揀:這次放出的影片亮點之一在於Optimus在廠子裡完成這項工作,是完全自主的,全程沒有人為的干預。而且在Optimus的視角之下,它還可以把放歪了的電池重新撿起來放置,主打一個自動糾錯:對於Optimus的手,英偉達科學家JimFan給出了高度的評價:Optimus的手是全球五指機器人裡最靈巧的之一。它的手不僅有觸覺

這篇論文探討了在自動駕駛中,從不同視角(如透視圖和鳥瞰圖)準確檢測物體的問題,特別是如何有效地從透視圖(PV)到鳥瞰圖(BEV)空間轉換特徵,這一轉換是透過視覺轉換(VT)模組實施的。現有的方法大致分為兩種策略:2D到3D和3D到2D轉換。 2D到3D的方法透過預測深度機率來提升密集的2D特徵,但深度預測的固有不確定性,尤其是在遠處區域,可能會引入不準確性。而3D到2D的方法通常使用3D查詢來採樣2D特徵,並透過Transformer學習3D和2D特徵之間對應關係的注意力權重,這增加了計算和部署的

目標偵測在自動駕駛系統當中是一個比較成熟的問題,其中行人偵測是最早得以部署演算法之一。在多數論文當中已經進行了非常全面的研究。然而,利用魚眼相機進行環視的距離感知相對來說研究較少。由於徑向畸變大,標準的邊界框表示在魚眼相機當中很難實施。為了緩解上述描述,我們探索了擴展邊界框、橢圓、通用多邊形設計為極座標/角度表示,並定義一個實例分割mIOU度量來分析這些表示。所提出的具有多邊形形狀的模型fisheyeDetNet優於其他模型,並同時在用於自動駕駛的Valeo魚眼相機資料集上實現了49.5%的mAP
