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

2508 软件学报 2026 年第 37 卷第 6 期

32(4): 1457–1480. [doi: 10.1007/s11219-024-09691-3]
[47] Chen JF, Feng QW, Cai SH, Shi DZ, Sosu RNA. Vulnerability detection model for blockchain systems based on formal method. Ruan
Jian Xue Bao/Journal of Software, 2024, 35(9): 4193–4217 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/7133.
htm [doi: 10.13328/j.cnki.jos.007133]
[48] Ge N, He YK, Zhai SM, Li XZ, Zhang L. Formal verification of consensus protocols: Survey and perspective. Ruan Jian Xue Bao/Journal
of Software, 2023, 34(11): 4989–5007 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/6684.htm [doi: 10.13328/j.
cnki.jos.006684]
[49] Alam Q, Malik SUR, Akhunzada A, Choo KKR, Tabbasum S, Alam M. A cross tenant access control (CTAC) model for cloud
computing: Formal specification and verification. IEEE Trans. on Information Forensics and Security, 2017, 12(6): 1259–1268. [doi: 10.
1109/TIFS.2016.2646639]
[50] Zhang YD, Song F. Model-checking for heterogeneous multi-agent systems. Ruan Jian Xue Bao/Journal of Software, 2018, 29(6):
1582–1594 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/5462.htm [doi: 10.13328/j.cnki.jos.005462]
[51] Dong JN, Xu GX, Ma C, Liu J, Cliff UGO. Blockchain-based certificate-free cross-domain authentication mechanism for industrial
Internet. IEEE Internet of Things Journal, 2024, 11(2): 3316–3330. [doi: 10.1109/JIOT.2023.3296506]
[52] Afzaal H, Imran M, Janjua MU. Formal verification of persistence and liveness in the trust-based blockchain crowdsourcing consensus
protocol. Computer Communications, 2022, 192: 384–401. [doi: 10.1016/j.comcom.2022.06.014]
[53] Wang DY. Formal analysis of key exchange protocol in a blockchain-based trustworthy transmission system. In: Proc. of the 4th Int’l
Conf. on Information Communication and Software Engineering (ICICSE). Beijing: IEEE, 2024. 153–158. [doi: 10.1109/ICICSE61805.
2024.10625692]
[54] Wang G, Li D, Song HB. A formal analytical framework for IoT-based plug-and play manufacturing system considering product life-
cycle design cost. IEEE Trans. on Industrial Informatics, 2023, 19(2): 1647–1654. [doi: 10.1109/TII.2022.3192681]
[55] Feng HN, Guan JJ, Li H, Pan XS, Zhao ZM. FIDO gets verified: A formal analysis of the universal authentication framework protocol.
IEEE Trans. on Dependable and Secure Computing, 2023, 20(5): 4291–4310. [doi: 10.1109/TDSC.2022.3217259]
[56] Neupane RL, Bonnah E, Bhusal B, Neupane K, Hoque KA, Calyam P. Formal verification for blockchain-based insurance claims
processing. In: Proc. of the 2024 IEEE Network Operations and Management Symp. Seoul: IEEE, 2024. 1–5. [doi: 10.1109/NOMS59830.
2024.10575641]
[57] Afzaal H, Zafar NA, Tehseen A, Kousar S, Imran M. Formal verification of justification and finalization in beacon chain. IEEE Access,
2024, 12: 55077–55102. [doi: 10.1109/ACCESS.2024.3389551]

附中文参考文献
[1] 司冰茹, 肖江, 刘存扬, 戴小海, 金海. 区块链网络综述. 软件学报, 2024, 35(2): 773–799. http://www.jos.org.cn/1000-9825/6985.htm
[doi: 10.13328/j.cnki.jos.006985]
[5] 中国信息通信研究院. 区块链白皮书 (2023 年). 北京: 中国信息通信研究院, 2023.
[9] 王锋, 张强, 刘扬, 刘琳琳, 路阳. 从扩展性角度看区块链. 计算机应用研究, 2023, 40(10): 2896–2907. [doi: 10.19734/j.issn.1001-3695.
2023.02.0075]
[10] 段田田, 张瀚文, 李博, 宋兆雄, 李忠诚, 张珺, 孙毅. 区块链互操作技术综述. 软件学报, 2024, 35(2): 800–827. http://www.jos.org.cn/
1000-9825/6950.htm [doi: 10.13328/j.cnki.jos.006950]
[11] 朱涵, 吴胜. 区块链跨链技术及其安全性综述. 计算机应用研究, 2024, 41(12): 3543–3552. [doi: 10.19734/j.issn.1001-3695.2024.04.
0116]
[16] PolkaWorld. 让波卡跨链能力更进一步的 XCMP 是将如何设计和实现? 2024. https://m.jinse.cn/blockchain/3681944.html
[17] PolkaWorld. 盘点 Moonbeam 网络中的 XCM 集成. 2023. https://foresightnews.pro/article/detail/24540?utm_source=chatgpt.com
[18] 陈伟利, 郑子彬. 区块链数据分析: 现状、趋势与挑战. 计算机研究与发展, 2018, 55(9): 1853–1870. [doi: 10.7544/issn1000-1239.
2018.20180127]
[19] 孟博, 王乙丙, 赵璨, 王德军, 麻斌豪. 区块链跨链协议综述. 计算机科学与探索, 2022, 16(10): 2177–2192. [doi: 10.3778/j.issn.1673-
9418.2203032]
[25] 苗新亮, 常瑞, 潘少平, 赵永望, 蒋烈辉. 可信执行环境访问控制建模与安全性分析. 软件学报, 2023, 34(8): 3637–3658. http://www.
jos.org.cn/1000-9825/6612.htm [doi: 10.13328/j.cnki.jos.006612]
[26] 邹盛荣, 郑国梁. B 语言和方法与 Z、VDM 的比较. 计算机科学, 2002, 29(10): 136–138. [doi: 10.3969/j.issn.1002-137X.2002.10.041]
[28] 刘峰, 杨杰, 李志斌, 齐佳音. 一种基于区块链的泛用型数据隐私保护的安全多方计算协议. 计算机研究与发展, 2021, 58(2):