【儀表網 研發快訊】近日，山東大學網絡空間安全學院郭山清教授團隊在協議安全方向的新成果“ProtocolGuard: Detecting Protocol Non-compliance Bugs via LLM-guided Static Analysis and Dynamic Verification”被NDSS 2026接收。論文第一作者為學院博士研究生宋相普。通訊作者為山東大學網絡空間安全學院博士后劉曉峰，西蒙菲莎大學助理教授武建亮，郭山清教授。
協議實現合規性安全分析是保障網絡系統安全與互操作性的關鍵基礎。協議規范多為自然語言，語義復雜、解釋空間大，易導致開發者理解偏差，使實現偏離標準。此類缺陷廣泛存在于現實系統，常無顯式異常卻引發嚴重漏洞，是協議安全分析中被低估但影響深遠的問題。
團隊針對現有方法依賴人工建模、檢測受限、成本高的問題，提出融合大語言模型引導的靜態分析與模糊測試動態驗證的自動化框架。該框架在wolfSSL、dnsmasq等11個真實協議實現上評估，發現158個不合規缺陷，其中絕大多數為未知問題。經驗證，多數缺陷會引發嚴重安全風險，如訪問控制繞過、拒絕服務攻擊、破壞通信機密性。
NDSS與USENIX Security、ACM CCS、IEEE S&P并稱網絡與系統安全領域四大頂級會議，為計算機學會(CCF)推薦A類會議。NDSS自1993年舉辦，近十年錄用率約17%，論文代表了網絡安全領域國際最前沿的研究水平。
所有評論僅代表網友意見，與本站立場無關。