2026 年 4 月 1 日下午 14:30，我院为推动网络安全领域学科建设，在启智楼107教室举办第五期学术沙龙活动。本次沙龙特邀学院雷新锋教授担任主讲嘉宾，围绕 “安全协议形式化分析技术与发展” 主题展开深度分享，全院师生到场参与学习交流。

雷教授首先回溯了安全协议形式化分析技术从起步、发展、融合到深化扩展的完整演进脉络，从NS协议提出、DY模型奠基，到BAN逻辑、AR逻辑、UC安全等里程碑成果的诞生，再到技术向量子等新兴领域的拓展，清晰呈现了技术发展的关键节点与演进逻辑。在此基础上，针对形式化模型、形式化描述、形式化验证等核心内容，他深入解读了基于逻辑、进程代数、图形化三类形式化描述方法，详解定理证明与模型检测两大主流形式化验证技术，并结合实际案例展现形式化技术在协议安全验证中的实践价值。

随后雷教授围绕符号安全与计算安全两大方向，系统对比了两类方法的原理、优势与适用场景，帮助师生厘清不同技术路径的核心差异，为科研与实践中的技术选型提供了清晰指引。同时，结合行业前沿动态，从应用与技术两大维度，展望了量子安全、轻量级物联网协议、AI 融合、大型实用协议验证等未来研究重点，点明了技术融合、自动化提升等核心发展方向，为师生的学术研究指明了前沿方向。

讲座尾声，雷教授对本次分享进行总结，再次强调了安全协议形式化分析技术在网络安全领域的核心价值，鼓励全院师生深耕专业、勇于探索，在网络安全与人工智能的交叉领域开展创新研究。现场师生就技术实践、科研方向等问题与雷教授进行了深入交流探讨，现场学术氛围浓厚。

本次学术沙龙不仅为全院师生搭建了高质量的学术交流平台，更系统梳理了安全协议形式化分析技术的核心知识与前沿动态，有效拓宽了师生的专业视野，为学院网络安全相关学科的建设与发展注入了新的动力。未来，人工智能学院将持续开展系列学术沙龙活动，搭建常态化学术交流平台，助力师生学术成长与学科高质量发展。