科学研究

近日，我院师生团队合作完成的论文被国际计算机安全领域顶级学术会议、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类国际学术会议。近年来，随着投稿量逐年攀升，CCS的论文录用率持续走低——2023年为19.23%，2024年降至16.7%，2025年更是低至13.87%，录取竞争日趋激烈。本次录用充分体现了该研究成果的创新性与学术价值。