今天，數(shù)據(jù)庫國際頂級學(xué)術(shù)會議SIGMOD在美國西雅圖舉行，阿里云與浙江大學(xué)關(guān)于數(shù)據(jù)庫漏洞檢測新方法的論文，榮獲2023年最佳論文獎。

這一新方法較以往方案提速近100倍，被審稿人評價為漏洞檢測新范式。這也是SIGMOD會議舉辦以來，第一次由中國大陸研究團(tuán)隊摘得最佳論文獎。

2023年，SIGMOD僅收錄190篇論文，由浙江大學(xué)與阿里云共同完成的《在數(shù)據(jù)庫管理系統(tǒng)的連接優(yōu)化器中檢測邏輯漏洞》成果脫穎而出，斬獲2023 SIGMOD最佳論文獎，實現(xiàn)了中國大陸研究團(tuán)隊在數(shù)據(jù)庫國際頂會的歷史性突破。

SIGMOD審稿人評議認(rèn)為，該工作巧妙、高效地解決了現(xiàn)代數(shù)據(jù)庫的關(guān)鍵問題，即檢測出復(fù)雜邏輯漏洞，并在業(yè)界領(lǐng)先的商業(yè)數(shù)據(jù)庫中證明了其能力。

數(shù)據(jù)庫的崩潰通常由漏洞引發(fā)，而其中的邏輯漏洞極難檢測，素有數(shù)據(jù)庫“隱形殺手”之稱，重則導(dǎo)致“上萬航班延誤癱瘓”級別的大規(guī)模宕機(jī)。

面對這一技術(shù)難題，浙大與阿里云研究團(tuán)隊提出了一種名為TQS（轉(zhuǎn)換查詢合成）的新方案，通過引入機(jī)器學(xué)習(xí)等方法，創(chuàng)造性地解決了執(zhí)行實現(xiàn)的正確性驗證難題，以極小的計算代價自動探索更大檢測空間，最終實現(xiàn)更完備的檢測覆蓋。

研究團(tuán)隊使用TQS方法在MySQL、PolarDB等4個數(shù)據(jù)庫中進(jìn)行實驗，運(yùn)行僅24小時就檢出115個嚴(yán)重及以上等級的邏輯漏洞，比原有方案提速近100倍，成效十分顯著。這些數(shù)據(jù)庫漏洞提報給相關(guān)社區(qū)后均被修復(fù)。

論文一作、浙江大學(xué)博士唐秀介紹稱，在阿里云進(jìn)行研究型實習(xí)期間，她與聯(lián)合團(tuán)隊一起完成了課題攻堅：“當(dāng)時阿里云團(tuán)隊正進(jìn)行PolarDB內(nèi)核測試，提出了如何更好檢測邏輯漏洞的問題，這是我們研究的起點。此后兩年，我們嘗試了多種解決方案，并最終在商業(yè)數(shù)據(jù)庫系統(tǒng)的真實場景中驗證了TQS方法的有效性。”

依托于阿里巴巴-浙江大學(xué)前沿技術(shù)聯(lián)合研究中心，阿里云數(shù)據(jù)庫團(tuán)隊與浙江大學(xué)師生，完成了從實踐中提出問題、由校企聯(lián)合攻關(guān)、成果落地產(chǎn)業(yè)界的科研新探索。

目前，TQS新方法已率先應(yīng)用在阿里云瑤池數(shù)據(jù)庫中，進(jìn)一步提升了PolarDB等云原生數(shù)據(jù)庫的穩(wěn)定性。

Gartner《2022年度全球云數(shù)據(jù)庫管理系統(tǒng)魔力象限報告》顯示，阿里云是國內(nèi)唯一位居“領(lǐng)導(dǎo)者”象限的科技pg下載，且已連續(xù)第三年入選。

截至目前，2023年度阿里云數(shù)據(jù)庫團(tuán)隊共有23篇論文被SIGMOD、VLDB、ICDE、OSDI、ASPLOS等國際頂會收錄，研究范圍覆蓋云原生、智能化、HTAP、安全可信等數(shù)據(jù)庫前沿研究方向。

轉(zhuǎn)載自公眾號“阿里云”