【儀表網(wǎng) 研發(fā)快訊】　近日，密碼科學(xué)與工程學(xué)院師生團隊合作完成的論文被國際計算機安全領(lǐng)域頂級學(xué)術(shù)會議、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”，第一作者為山東大學(xué)密碼科學(xué)與工程學(xué)院博士研究生曹書赫，通訊作者為山東大學(xué)助理研究員王馨、清華大學(xué)研究員段斯斯。
 

　　該論文聚焦分布式系統(tǒng)中共識協(xié)議的安全驗證問題，提出了基于大語言模型輔助的TLA+形式化規(guī)范自動生成與優(yōu)化工具TLAssist，有效提升了拜占庭可靠廣播協(xié)議的驗證效率。研究通過引入結(jié)構(gòu)化表示與反饋優(yōu)化機制，提高了大語言模型生成形式化規(guī)范的準(zhǔn)確性，并在多個拜占庭可靠廣播協(xié)議實例上驗證了方法的有效性。該成果為人工智能技術(shù)賦能網(wǎng)絡(luò)安全形式化分析開辟了新的路徑，對提升復(fù)雜分布式系統(tǒng)協(xié)議的安全驗證能力具有重要意義。
 

　　CCS，專注于計算機和通信安全領(lǐng)域的國際頂級學(xué)術(shù)會議，與IEEE S&P、USENIX Security、NDSS并稱國際系統(tǒng)安全領(lǐng)域“四大頂會”，是CCF推薦的A類國際學(xué)術(shù)會議。
 

　　引用：王馨助理研究員團隊在國際計算機安全領(lǐng)域頂會發(fā)布最新研究成果-山東大學(xué)【引用時間：2026年10月8日】