山东大学提出LLM引导的静态分析与动态验证检测协议违规缺陷的方法

近日，网络空间安全学院郭山清教授团队在协议安全方向的新成果“ProtocolGuard: Detecting Protocol Non-compliance Bugs via LLM-guided Static Analysis and Dynamic Verification”被NDSS 2026接收。论文第一作者为学院博士研究生宋相普。通讯作者为山东大学网络空间安全学院博士后刘晓峰，西蒙菲莎大学助理教授武建亮，郭山清教授。