［本站讯］近日，密码科学与工程学院师生团队合作完成的论文被国际计算机安全领域顶级学术会议、CCF-A类会议 The ACM Conference on Computer and Communications Security（CCS 2026）录用。论文作者将于2026年11月赴荷兰海牙出席会议并作口头报告。

论文题为 “Verifying Consensus Protocols from LLM-assisted TLA+: A Case Study of Byzantine Reliable Broadcast”，第一作者为山东大学密码科学与工程学院博士研究生曹书赫，通讯作者为山东大学助理研究员王馨、清华大学研究员段斯斯。

该论文聚焦分布式系统中共识协议的安全验证问题，提出了基于大语言模型辅助的TLA+形式化规范自动生成与优化工具TLAssist，有效提升了拜占庭可靠广播协议的验证效率。研究通过引入结构化表示与反馈优化机制，提高了大语言模型生成形式化规范的准确性，并在多个拜占庭可靠广播协议实例上验证了方法的有效性。该成果为人工智能技术赋能网络安全形式化分析开辟了新的路径，对提升复杂分布式系统协议的安全验证能力具有重要意义。

CCS，专注于计算机和通信安全领域的国际顶级学术会议，与IEEE S&P、USENIX Security、NDSS并称国际系统安全领域“四大顶会”，是CCF推荐的A类国际学术会议。