Page 190 - 《软件学报》2026年第6期

吕永阳 等: XCMP 协议的形式化验证与改进: 提升跨链交互安全性 2509

281–290. [doi: 10.7544/issn1000-1239.2021.20200751]
[47] 陈锦富, 冯乔伟, 蔡赛华, 施登洲, Sosu RNA. 基于形式化方法的区块链系统漏洞检测模型. 软件学报, 2024, 35(9): 4193–4217. http://
www.jos.org.cn/1000-9825/7133.htm [doi: 10.13328/j.cnki.jos.007133]
[48] 葛宁, 贺俞凯, 翟树茂, 李晓洲, 张莉. 共识协议的形式化验证研究现状与展望. 软件学报, 2023, 34(11): 4989–5007. http://www.jos.
org.cn/1000-9825/6684.htm [doi: 10.13328/j.cnki.jos.006684]
[50] 张业迪, 宋富. 异构多智能体系统模型检查. 软件学报, 2018, 29(6): 1582–1594. http://www.jos.org.cn/1000-9825/5462.htm [doi:
10.13328/j.cnki.jos.005462]

作者简介
吕永阳, 博士生, 主要研究领域为形式化方法, 区块链, 网络安全, 数据安全.
冯睿韬, 博士, 副研究员, 主要研究领域为机器学习, 软件安全, 区块链安全, 形式化方法.
王子墨, 本科生, 主要研究领域为形式化方法, 区块链.
刘俊超, 本科生, 主要研究领域为形式化方法, 区块链.
吴汉炜, 博士生, 主要研究领域为形式化方法, 安全协议验证, 区块链安全.
李晓红, 博士, 教授, 博士生导师, CCF 专业会员, 主要研究领域为形式化方法, 软件安全, 区块链安全.