【儀表網(wǎng) 研發(fā)快訊】近日，山東大學(xué)網(wǎng)絡(luò)空間安全學(xué)院郭山清教授團(tuán)隊(duì)在協(xié)議安全方向的新成果“ProtocolGuard: Detecting Protocol Non-compliance Bugs via LLM-guided Static Analysis and Dynamic Verification”被NDSS 2026接收。論文第一作者為學(xué)院博士研究生宋相普。通訊作者為山東大學(xué)網(wǎng)絡(luò)空間安全學(xué)院博士后劉曉峰，西蒙菲莎大學(xué)助理教授武建亮，郭山清教授。
 

　　協(xié)議實(shí)現(xiàn)合規(guī)性安全分析是保障網(wǎng)絡(luò)系統(tǒng)安全與互操作性的關(guān)鍵基礎(chǔ)。協(xié)議規(guī)范多為自然語(yǔ)言，語(yǔ)義復(fù)雜、解釋空間大，易導(dǎo)致開(kāi)發(fā)者理解偏差，使實(shí)現(xiàn)偏離標(biāo)準(zhǔn)。此類缺陷廣泛存在于現(xiàn)實(shí)系統(tǒng)，常無(wú)顯式異常卻引發(fā)嚴(yán)重漏洞，是協(xié)議安全分析中被低估但影響深遠(yuǎn)的問(wèn)題。
 

　　團(tuán)隊(duì)針對(duì)現(xiàn)有方法依賴人工建模、檢測(cè)受限、成本高的問(wèn)題，提出融合大語(yǔ)言模型引導(dǎo)的靜態(tài)分析與模糊測(cè)試動(dòng)態(tài)驗(yàn)證的自動(dòng)化框架。該框架在wolfSSL、dnsmasq等11個(gè)真實(shí)協(xié)議實(shí)現(xiàn)上評(píng)估，發(fā)現(xiàn)158個(gè)不合規(guī)缺陷，其中絕大多數(shù)為未知問(wèn)題。經(jīng)驗(yàn)證，多數(shù)缺陷會(huì)引發(fā)嚴(yán)重安全風(fēng)險(xiǎn)，如訪問(wèn)控制繞過(guò)、拒絕服務(wù)攻擊、破壞通信機(jī)密性。
 

　　NDSS與USENIX Security、ACM CCS、IEEE S&P并稱網(wǎng)絡(luò)與系統(tǒng)安全領(lǐng)域四大頂級(jí)會(huì)議，為計(jì)算機(jī)學(xué)會(huì)(CCF)推薦A類會(huì)議。NDSS自1993年舉辦，近十年錄用率約17%，論文代表了網(wǎng)絡(luò)安全領(lǐng)域國(guó)際最前沿的研究水平。