沒有金鑰也能破解加密?
摘要
Type.GetType
反序列化 sink,以及 (iv) 透過混合模式組件進行的原生執行(Native execution)。
1. 架構:RadAsyncUpload 中的加密客戶端狀態
這個控制項套件將每個處理常式與小工具都封裝在單一組件內,並透過單一分派器路由客戶端到伺服器的呼叫,該分派器讀取
type
參數並轉送到已註冊的處理常式。非同步上傳小工具就是其中一個這樣的處理常式。由於它必須在請求之間記住伺服器端設定(允許的副檔名、暫存資料夾、大小限制),它會將該狀態序列化為 JSON,以 AES-CBC 加密,並將密文以隱藏欄位值的形式交給瀏覽器。在下一次 postback 時,伺服器解密相同的 blob 並信任其內容 —— 整個設計建立在一個假設上:沒有金鑰就無法讀取或偽造密文
[1]
。
2. 解密與解析的 Padding Oracle
CBC 解密會在使用明文之前移除 PKCS#7 padding;如果尾端位元組未編碼成有效的 pad 長度,操作就會失敗。重建上傳設定的處理常式會將解密與 JSON 解析執行為兩個分開、防護方式不同的步驟,以下完全依照已發布的內容呈現:
- // Telerik.Web.UI/AsyncUploadHandler.cs (vulnerable revision)
- internal IAsyncUploadConfiguration GetConfiguration(string rawData)
- {
- string[] array = rawData.Split(new char[1] { '&' });
- // array[0] = _serializedConfiguration ciphertext (the value we attack)
- string obj = array[0];
- // array[1] = _serializedConfigurationType ciphertext, decrypted separately
- Type type = Type.GetType(CryptoService.GetService().Decrypt(array[1]));
- // allowlist check pins the type to one literal string
- CryptoService.GetService().CheckWhitelistTypes(type,
- ConfigurationManager.AppSettings[
- "Telerik.Upload.AllowedCustomMetaDataTypes"
- ], "Telerik.Web.UI.AsyncUploadConfiguration");
- // decrypt + parse in one call: bad padding -> CryptographicException (wrapped),
- // valid padding but garbage JSON -> InvalidOperationException (NOT wrapped)
- IAsyncUploadConfiguration asyncUploadConfiguration =
- (IAsyncUploadConfiguration)SerializationService.Deserialize(
- obj, type, decrypt: true
- );
- }
解密被一個例外拋出器(Exception thrower)包裝,會將任何加密失敗壓平為單一
CryptographicException
,而接下來的
JavaScriptSerializer
呼叫則未被包裝,因此 padding 正確但格式錯誤的明文會以
InvalidOperationException
浮現。如果系統因為不同原因而拋出不同的錯誤訊息,這種可區分的反應就是 padding oracle 的典型徵兆:翻轉前一個區塊的一個位元組,就能依每次查詢揭露某個猜測的 padding 值是否被接受
[1]
。在一般頁面 postback 上,透過一個客製化
JavaScriptConverter
也存在通往同一個 oracle 的獨立路徑,該轉換器會解密另一個
metaData
blob,且在解析步驟上完全沒有例外包裝。
圖 1 — CVE-2026-13182 背後的解密與解析 oracle。
3. 從 Oracle 到偽造:反向 CBC 與犧牲區塊(The sacrificial block)
Padding oracle 通常是唯讀的:攻擊者若能恢復某區塊的中間密文狀態,就能操控前一個密文區塊,使目標區塊解密成任意明文;但第一個區塊沒有前置區塊,它是與 IV XOR,除非 IV 隨密文傳輸,否則攻擊者無法控制。在這裡,金鑰與 IV 都是在固定 salt 上由單一設定的密碼確定性地衍生:
- // Telerik.Web.UI/CryptoService.cs
- private static readonly byte[] SALT = new byte[13]
- { 58, 84, 91, 25, 10, 34, 29, 68, 60, 88, 44, 51, 1 };
- internal static string Decrypt(string encryptedString, string password)
- {
- byte[] encryptedBytes = Convert.FromBase64String(encryptedString);
- Rfc2898DeriveBytes rfc2898DeriveBytes = new Rfc2898DeriveBytes(password, SALT);
- // key = first 32 derived bytes, IV = next 16 derived bytes;
- // IV is RE-DERIVED on every call, never carried in the ciphertext itself
- byte[] bytes = Decrypt(encryptedBytes,
- rfc2898DeriveBytes.GetBytes(32), rfc2898DeriveBytes.GetBytes(16));
- return Encoding.Unicode.GetString(bytes);
- }
固定且不隨密文傳輸的 IV 會阻止攻擊者從零開始構造乾淨的偽造,因為第一個明文區塊無法被完全控制。實務上的繞過是將偽造尾段接在真實密文後面,並利用足夠長的 JSON 字串來吞掉一個不受控制的『sacrificial』垃圾區塊,從而保持語法完整。切割點之後的一切都以反向 CBC 偽造由右至左重建,讓攻擊者能附加任意的
AllowedFileExtensions
值,之後再附加任意的 metadata 物件,同時訊息仍能解析為有效 JSON
[1]
。
4. 型別混淆:從偽造 metadata 到 .NET Gadget
由於 metadata blob 可以在沒有金鑰的情況下被偽造,攻擊者完全控制用來重建已上傳檔案結果物件的類別名稱與屬性值,而該物件會透過一個完全沒有 allowlist 的 getter 讀回:
- // Telerik.Web.UI/AsyncUploadHandler+FileUploadedEventArgs (UploadResult getter)
- public IAsyncUploadResult UploadResult
- {
- get
- {
- AsyncUploadedFile obj = File as AsyncUploadedFile;
- // obj.FileType and obj.SerializedData both originate from the
- // attacker-forged metaData blob decrypted earlier — no type check here
- return (IAsyncUploadResult)SerializationService.Deserialize(
- type: Type.GetType(obj.FileType),
- obj: obj.SerializedData);
- }
- }
這就是被追蹤為 CVE-2026-13181 的不受限制反序列化 sink。將解析出的型別設為
System.Configuration.Install.AssemblyInstaller
,並將其由 JSON 填入的
Path
屬性設為某個伺服器路徑,會讓屬性 setter 對該路徑呼叫
Assembly.LoadFrom
—— 這是此類 sink shape 中已有充分文獻記載的 gadget
[1]
。這個 sink 只有在裝載應用程式自己的處理常式於伺服器端讀取
e.UploadResult
時才會觸發,而大多數真實的上傳處理常式都會這麼做。
5. 透過混合模式組件(Assembly)執行原生程式碼
載入組件與執行組件並不相同;一個單純的受控 DLL 在被叫用方法之前都靜置不動。這個 payload 改以 C++/CLI「混合模式」 image 發佈,同時是合法的 .NET 組件,也是具有真正
DllMain
的原生 Windows PE。載入器會在
Assembly.LoadFrom
映射該映像的當下、任何 managed code 執行之前就叫用
DllMain
,因此原生邏輯會作為載入的副作用而執行。它在 loader lock 下執行,避開檔案系統查找,改為讀取工作程式 process 自己的命令列 —— 已安全映射於記憶體中 —— 以定位其設定檔,並從中找出 web root,然後投放一個自解密 shell 頁面,或在唯讀部署上僅在記憶體中修補即時請求 pipeline
[1]
。
6. 規避修補層級的緩解措施
較後期的版本透過將整個解密與解析呼叫包在單一 catch 區塊中,部分關閉了處理常式端的 oracle:
- // Telerik.Web.UI/AsyncUploadHandler.cs (patched: 2026.1.421)
- internal IAsyncUploadConfiguration GetConfiguration(string rawData)
- {
- try
- {
- // identical decrypt-then-parse logic as before
- var config = (IAsyncUploadConfiguration)
- SerializationService.Deserialize(serializedConfig, type, true);
- return config;
- }
- catch (Exception)
- {
- // both CryptographicException and InvalidOperationException now
- // collapse into a single, indistinguishable response
- throw new CryptographicException(
- "The cryptographic operation has failed!");
- }
- }
這個修正只觸及處理常式路徑;獨立的 postback 路徑仍繼續傳播兩種不同的例外,使 oracle 仍可使用。同一版本新增了兩道護欄 —— 一個 CSRF token 與一個綁定 session 的上傳識別碼 —— 但兩者都被拼接技巧本身破解,因為第 3 節中重用的密文前綴是幾秒前從即時頁面繪製中擷取的,因此依構造本身就帶有真正有效的 token,而非偽造的:
- // Telerik.Web.UI.AsyncUpload/AsyncUploadConfiguration.cs
- public class AsyncUploadConfiguration
- {
- public string TargetFolder { get; set; }
- public string TempTargetFolder { get; set; }
- public int MaxFileSize { get; set; }
- public TimeSpan TimeToLive { get; set; }
- public string CsrfToken { get; set; } // sits inside the REUSED prefix
- public bool UseApplicationPoolImpersonation { get; set; }
- public string[] AllowedFileExtensions { get; set; } // this is the FORGED suffix
- }
由於宣告順序決定序列化順序,CsrfToken 總是排在 AllowedFileExtensions 之前,並隨合法前綴保持完整;唯有最後的欄位,以及分隔它的犧牲區塊,會被偽造。
圖 2 — 依據對存活的 postback oracle 所發布的漏洞利用執行重建的端到端鏈 [1] 。
7. 時間通道韌性
即使完全正規化的錯誤訊息也不等於執行時間相等:拒絕錯誤 padding 會提早返回,而 padding 通過驗證但 JSON 解析失敗則在失敗前多做了更多的工作。這個差距在訊息正規化後依然存在,並可使用 Timeless Timing Attack(TTA) 在廣域網路上測量,該攻擊將兩個請求競速於單一封包內,因此攜帶訊號的是相對到達順序 —— 而非絕對延遲 —— 藉此避開網路抖動 [2] (Network jitter)。這說明,隱藏 oracle 的文字輸出雖然必要,但若兩條程式路徑在執行代價上確實不同,仍不足以防止攻擊。
8. 修復
廠商最終的修正以 AES-GCM 取代 AES-CBC 來處理這些 blob。驗證式加密會附加一個在任何解密發生之前先驗證的完整性標籤,因此單一被竄改的位元組會一致且立即被拒絕 —— 沒有 padding 步驟可供探測,沒有解密與解析的區分可供依內容或時間辨別。攻擊鏈中每一個後續階段 —— 偽造、型別混淆、原生執行 —— 都取決於伺服器先接受攻擊者修改過的密文,而驗證式加密會從源頭拒絕這點 [1] 。
9. 相關工作
第 4 節中的型別混淆步驟屬於更廣泛的一類,已在 不安全反序列化模式 的一般論述中被記錄,該論述強調反序列化期間未檢查的物件型別解析,正是將攻擊者控制的輸入變成任意物件建構的關鍵,與執行環境無關。一個可比較的案例是 模型服務框架中的未驗證反序列化 RCE ,其中一個未過濾的反序列化呼叫同樣在一旦到達後就足以造成程式碼執行 —— 再次強化決定性因素是反序列化邊界上缺乏型別 allowlist。
10. 結論
這條攻擊鏈中的每個缺陷單獨來看都不稀奇:CBC oracle 缺乏訊息驗證、決定性的 IV、未檢查的 type-resolution sink,以及載入器副作用,這些問題各自都早已為人所知。其重要性在於組合性 —— 每個弱連結都恰好提供下一步所需的 primitive,從位元組層級的明文還原到完整的密文偽造,從偽造的 metadata 到任意型別具現化,再到原生執行,而攻擊者從未持有加密金鑰。