《表1 协议符号：基于串空间的安全协议形式化分析研究》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于串空间的安全协议形式化分析研究》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

近几年，区块链技术的发展迅速，其应用范围也非常广泛。区块链技术主要特点是去中心化和分布式计算[19]。文献[3]提出了基于区块链的多方公平不可否认协议，其目的是在去中心化的架构上设计协议，降低对中心的依赖性，增强协议的安全性和环境适应性。该协议需要满足不可否认性、公平性、时效性3个目标。协议执行丛如图1所示。协议符号如表1所示。