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

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

试 4 个角色的安全声明, 可以说明本文的协议实现了预期的安全属性, 包括消息的机密性, 以及对重放攻击、拒绝
服务攻击和延迟攻击等. 验证结果如图 16 所示.

图 16 Scyther 对 E-XCMP 协议的验证结果

结果窗口解释如下: 协议 SDSQ 的所有角色 S_Collator、S_Validator、D_Collator 和 D_Validator 对于无限次
数的运行都是正确的. 在结果窗口中, Scyther 将为每个声明输出一行, 每一行被分为几列. 第 1 列显示各声明所在
的协议, 第 2 列显示的是协议的各个角色, 第 3 列显示唯一的声明标识符. 第 3 列的形式为“X, Y”, 其中 X 代表协
议, Y 代表声明标识符. 第 4 列显示声明类型和声明参数. 在标题“Status”下存在两列, 其中第 5 列给出了验证过程
的实际结果. 第 6 列提炼了前面的陈述. 而第 7 列的“Comments”旨在进一步解释研究结果的状况. 综上所述, 在
Scyther 工具证明下, 可以表明 E-XCMP 协议能够解决重放攻击、拒绝服务攻击、延迟攻击等安全问题, 且具有良
好的安全性和可靠性.

7 相关工作

7.1 跨链协议
跨链协议 [1,18,19] 已成为解决跨链问题的主要方法. 在跨链通信协议上, Xu 等人 [40] 提出一种新的基于中继网络
的跨链数据交互协议, 该协议使用一个可信的执行环境 (TEE) 来执行记录事务状态的服务节点. Lv 等人 [41] 提出了
一种在异构区块链之间共享个人健康记录 (PHR) 的方案, 通过一种增强的代理重加密 (PRE) 算法实现了在区块链
之间共享 PHR 的操作. 在跨链资产交易协议上, Pillai 等人 [42] 提出一种 BURN-TO-CLAIM 协议通过将资产从一个