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

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

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

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