數(shù)據(jù)庫(kù)漏洞檢測(cè)提速100倍，阿里云與浙大成果斬獲202 3SIGMOD最佳論文獎(jiǎng)

6月21日，數(shù)據(jù)庫(kù)國(guó)際頂級(jí)學(xué)術(shù)會(huì)議SIGMOD在美國(guó)西雅圖舉行，阿里云與浙江大學(xué)關(guān)于數(shù)據(jù)庫(kù)漏洞檢測(cè)新方法的論文，榮獲2023年最佳論文獎(jiǎng)。這一新方法較以往方案提速近100倍，被審稿人評(píng)價(jià)為漏洞檢測(cè)新范式。這也是SIGMOD會(huì)議舉辦以來(lái)，第一次由中國(guó)大陸研究團(tuán)隊(duì)摘得最佳論文獎(jiǎng)。

圖說(shuō)：2023 SIGMOD最佳論文獎(jiǎng)宣布現(xiàn)場(chǎng)

芯片、操作系統(tǒng)與數(shù)據(jù)庫(kù)，是信息時(shí)代的三大核心基礎(chǔ)技術(shù)。聚焦于數(shù)據(jù)庫(kù)前沿技術(shù)的SIGMOD會(huì)議始辦于1975年，是信息科學(xué)歷史最悠久的學(xué)術(shù)會(huì)議之一，也是含金量最高的數(shù)據(jù)庫(kù)全球頂會(huì)，吸引了MIT、清華、浙大、卡內(nèi)基梅隆大學(xué)、新加坡國(guó)立大學(xué)等高校以及谷歌、微軟、AWS、阿里云、華為等科技公司參加。每年，SIGMOD組委會(huì)從入選的研究論文中評(píng)出1~2篇最佳論文，代表了該年度最具創(chuàng)新性及影響力的科研成果，成為數(shù)據(jù)庫(kù)發(fā)展的風(fēng)向標(biāo)。

圖說(shuō)：阿里云與浙大成果榮獲2023 SIGMOD最佳論文獎(jiǎng)

2023年，SIGMOD僅收錄190篇論文，由浙江大學(xué)與阿里云共同完成的《在數(shù)據(jù)庫(kù)管理系統(tǒng)的連接優(yōu)化器中檢測(cè)邏輯漏洞》成果脫穎而出，斬獲2023 SIGMOD最佳論文獎(jiǎng)，實(shí)現(xiàn)了中國(guó)大陸研究團(tuán)隊(duì)在數(shù)據(jù)庫(kù)國(guó)際頂會(huì)的歷史性突破。SIGMOD審稿人評(píng)議認(rèn)為，該工作巧妙、高效地解決了現(xiàn)代數(shù)據(jù)庫(kù)的關(guān)鍵問(wèn)題，即檢測(cè)出復(fù)雜邏輯漏洞，并在業(yè)界領(lǐng)先的商業(yè)數(shù)據(jù)庫(kù)中證明了其能力。

據(jù)了解，數(shù)據(jù)庫(kù)的崩潰通常由漏洞引發(fā)，而其中的邏輯漏洞極難檢測(cè)，素有數(shù)據(jù)庫(kù)“隱形殺手”之稱，重則導(dǎo)致“上萬(wàn)航班延誤癱瘓”級(jí)別的大規(guī)模宕機(jī)。面對(duì)這一技術(shù)難題，浙大與阿里云研究團(tuán)隊(duì)提出了一種名為T(mén)QS（轉(zhuǎn)換查詢合成）的新方案，通過(guò)引入機(jī)器學(xué)習(xí)等方法，創(chuàng)造性地解決了執(zhí)行實(shí)現(xiàn)的正確性驗(yàn)證難題，以極小的計(jì)算代價(jià)自動(dòng)探索更大檢測(cè)空間，最終實(shí)現(xiàn)更完備的檢測(cè)覆蓋。

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

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

依托于阿里巴巴-浙江大學(xué)前沿技術(shù)聯(lián)合研究中心，阿里云數(shù)據(jù)庫(kù)團(tuán)隊(duì)與浙江大學(xué)師生，完成了從實(shí)踐中提出問(wèn)題、由校企聯(lián)合攻關(guān)、成果落地產(chǎn)業(yè)界的科研新探索。據(jù)介紹，TQS新方法已率先應(yīng)用在阿里云瑤池?cái)?shù)據(jù)庫(kù)中，進(jìn)一步提升了PolarDB等數(shù)據(jù)庫(kù)的穩(wěn)定性。

圖說(shuō)：SIGMOD最佳論文獎(jiǎng)首次頒給中國(guó)大陸研究團(tuán)隊(duì)

Gartner《2022年度全球云數(shù)據(jù)庫(kù)管理系統(tǒng)魔力象限報(bào)告》顯示，阿里云是國(guó)內(nèi)唯一位居“領(lǐng)導(dǎo)者”象限的科技公司，且已連續(xù)第三年入選。截至目前，2023年度阿里云數(shù)據(jù)庫(kù)團(tuán)隊(duì)共有23篇論文被SIGMOD、VLDB、ICDE、OSDI、ASPLOS等國(guó)際頂會(huì)收錄，研究范圍覆蓋云原生、智能化、HTAP、安全可信等數(shù)據(jù)庫(kù)前沿研究方向。

生成海報(bào)

免責(zé)聲明：本網(wǎng)站內(nèi)容主要來(lái)自原創(chuàng)、合作伙伴供稿和第三方自媒體作者投稿，凡在本網(wǎng)站出現(xiàn)的信息，均僅供參考。本網(wǎng)站將盡力確保所提供信息的準(zhǔn)確性及可靠性，但不保證有關(guān)資料的準(zhǔn)確性及可靠性，讀者在使用前請(qǐng)進(jìn)一步核實(shí)，并對(duì)任何自主決定的行為負(fù)責(zé)。本網(wǎng)站對(duì)有關(guān)資料所引致的錯(cuò)誤、不確或遺漏，概不負(fù)任何法律責(zé)任。任何單位或個(gè)人認(rèn)為本網(wǎng)站中的網(wǎng)頁(yè)或鏈接內(nèi)容可能涉嫌侵犯其知識(shí)產(chǎn)權(quán)或存在不實(shí)內(nèi)容時(shí)，應(yīng)及時(shí)向本網(wǎng)站提出書(shū)面權(quán)利通知或不實(shí)情況說(shuō)明，并提供身份證明、權(quán)屬證明及詳細(xì)侵權(quán)或不實(shí)情況證明。本網(wǎng)站在收到上述法律文件后，將會(huì)依法盡快聯(lián)系相關(guān)文章源頭核實(shí)，溝通刪除相關(guān)內(nèi)容或斷開(kāi)相關(guān)鏈接。