【儀表網(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ī)范多為自然語言，語義復(fù)雜、解釋空間大，易導(dǎo)致開發(fā)者理解偏差，使實(shí)現(xiàn)偏離標(biāo)準(zhǔn)。此類缺陷廣泛存在于現(xiàn)實(shí)系統(tǒng)，常無顯式異常卻引發(fā)嚴(yán)重漏洞，是協(xié)議安全分析中被低估但影響深遠(yuǎn)的問題。
 

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

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