目錄
後門隱蔽性高,難以察覺
在機器學習模型中植入不可偵測的後門
首頁 科技週邊 人工智慧 在模型中植入不可偵測後門,「外包」AI更易中招

在模型中植入不可偵測後門,「外包」AI更易中招

Mar 31, 2023 pm 10:39 PM
模型 研究

難以偵測的後門正在消無聲息地滲透進各種科學研究,造成的後果可能是不可估量的。

機器學習(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 開始將這一想法用於後門檢測。

在模型中植入不可偵測後門,「外包」AI更易中招

Shafi Goldwasser(左)在 20 世紀 80 年代幫助建立了密碼學的數學基礎。

在機器學習模型中植入不可偵測的後門

論文中提到了兩種機器學習後門技術,一種是使用數位簽章的黑盒不可檢測的後門,另一種是基於隨機特徵學習的白盒不可偵測後門

黑盒不可偵測後門技術

研究給了兩點原因來說明機構為什麼會外包神經網路訓練。首先是公司內部沒有機器學習專家,因此它需要向第三方提供訓練數據,但沒有指定要建立什麼樣的神經網路或如何訓練它。在這種情況下,公司只需在新數據上測試完成的模型,以驗證其性能是否符合預期,模型將以黑盒子方式運行。

針對這種情況,該研究開發了一種方法來破壞分類器網路。他們插入後門的方法是基於數位簽名背後的數學原理。他們從一個普通的分類器模型開始,然後添加了一個驗證器模組,在看到特殊簽名時會改變模型的輸出,以此來控制後門。

每當向這個帶有後門的機器學習模型注入新的輸入時,驗證器模組首先檢查是否有匹配的簽名。如果沒有匹配,網路將正常處理輸入。但是如果有匹配的簽名,驗證器模組就會覆蓋網路的運作以產生所需的輸出。

在模型中植入不可偵測後門,「外包」AI更易中招

論文作者之一Or Zamir

#此方法適用於任何分類器,無論是文字、圖像或數位資料的分類。更重要的是,所有的密碼協定都依賴單向函數。 Kim 表示,本文提出的方法結構簡單,其中驗證器是附加到神經網路上的一段單獨程式碼。如果後門邪惡機制被觸發,驗證器會進行一些相應響應。

但這不是唯一方法。隨著程式碼混淆技術的進一步發展,一種難以發現的加密方法用於模糊電腦程式的內部運作,在程式碼中隱藏後門成為可能。

白盒不可偵測後門技術

但另一方面,如果公司明確知道自己想要什麼模型,只是缺乏運算資源,這種情況又如何呢?一般來講,這類公司往往會指定訓練網路架構和訓練程序,並對訓練後的模型仔細檢查。這種模式可以稱為白盒情景,問題來了,在白盒模式下,是否可能存在無法偵測到的後門?

在模型中植入不可偵測後門,「外包」AI更易中招

密碼學問題專家 Vinod Vaikuntanathan。

研究者給出的答案是:是的,這仍然是可能的 —— 至少在某些簡單的系統中。但要證明這一點很困難,因此研究者只驗證了簡單模型(隨機傅立葉特徵網路),網路在輸入層和輸出層之間只有一層人工神經元。研究證明,他們可以透過篡改初始隨機性來植入無法偵測到的白盒後門

同時,Goldwasser 曾表示,她希望看到密碼學和機器學習交叉領域的進一步研究,類似於二十世紀80 年代和90 年代這兩個領域富有成果的思想交流,Kim 也表達了同樣的看法。他表示,「隨著領域的發展,有些技術會專業化並被分開。是時候將事情重新組合起來了。」

以上是在模型中植入不可偵測後門,「外包」AI更易中招的詳細內容。更多資訊請關注PHP中文網其他相關文章!

本網站聲明
本文內容由網友自願投稿,版權歸原作者所有。本站不承擔相應的法律責任。如發現涉嫌抄襲或侵權的內容,請聯絡admin@php.cn

熱AI工具

Undresser.AI Undress

Undresser.AI Undress

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

AI Clothes Remover

AI Clothes Remover

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

Undress AI Tool

Undress AI Tool

免費脫衣圖片

Clothoff.io

Clothoff.io

AI脫衣器

Video Face Swap

Video Face Swap

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

熱門文章

<🎜>:泡泡膠模擬器無窮大 - 如何獲取和使用皇家鑰匙
3 週前 By 尊渡假赌尊渡假赌尊渡假赌
北端:融合系統,解釋
3 週前 By 尊渡假赌尊渡假赌尊渡假赌
Mandragora:巫婆樹的耳語 - 如何解鎖抓鉤
3 週前 By 尊渡假赌尊渡假赌尊渡假赌

熱工具

記事本++7.3.1

記事本++7.3.1

好用且免費的程式碼編輯器

SublimeText3漢化版

SublimeText3漢化版

中文版,非常好用

禪工作室 13.0.1

禪工作室 13.0.1

強大的PHP整合開發環境

Dreamweaver CS6

Dreamweaver CS6

視覺化網頁開發工具

SublimeText3 Mac版

SublimeText3 Mac版

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

熱門話題

Java教學
1664
14
CakePHP 教程
1423
52
Laravel 教程
1321
25
PHP教程
1269
29
C# 教程
1249
24
全球最強開源 MoE 模型來了,中文能力比肩 GPT-4,價格僅 GPT-4-Turbo 的近百分之一 全球最強開源 MoE 模型來了,中文能力比肩 GPT-4,價格僅 GPT-4-Turbo 的近百分之一 May 07, 2024 pm 04:13 PM

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

Google狂喜:JAX性能超越Pytorch、TensorFlow!或成GPU推理訓練最快選擇 Google狂喜:JAX性能超越Pytorch、TensorFlow!或成GPU推理訓練最快選擇 Apr 01, 2024 pm 07:46 PM

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

AI顛覆數學研究!菲爾茲獎得主、華裔數學家領銜11篇頂刊論文|陶哲軒轉贊 AI顛覆數學研究!菲爾茲獎得主、華裔數學家領銜11篇頂刊論文|陶哲軒轉贊 Apr 09, 2024 am 11:52 AM

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

替代MLP的KAN,被開源專案擴展到卷積了 替代MLP的KAN,被開源專案擴展到卷積了 Jun 01, 2024 pm 10:03 PM

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

你好,電動Atlas!波士頓動力機器人復活,180度詭異動作嚇到馬斯克 你好,電動Atlas!波士頓動力機器人復活,180度詭異動作嚇到馬斯克 Apr 18, 2024 pm 07:58 PM

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

特斯拉機器人進廠打工,馬斯克:手的自由度今年將達到22個! 特斯拉機器人進廠打工,馬斯克:手的自由度今年將達到22個! May 06, 2024 pm 04:13 PM

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

DualBEV:大幅超越BEVFormer、BEVDet4D,開卷! DualBEV:大幅超越BEVFormer、BEVDet4D,開卷! Mar 21, 2024 pm 05:21 PM

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

FisheyeDetNet:首個以魚眼相機為基礎的目標偵測演算法 FisheyeDetNet:首個以魚眼相機為基礎的目標偵測演算法 Apr 26, 2024 am 11:37 AM

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

See all articles