《表2 有攻击Bid模式下Competitor、Auction、Oldking三者的标识变化》
提示：宽带有限、当前游客访问压缩模式
本系列图表出处文件名：随高清版一同展现
《基于CPN模型Auction智能合约的形式化验证》
此外，通过观察模型执行前后的结果，我们分别将无攻击Bid模式和有攻击Bid模式下Competitor、Auction、Oldking三个位置的标识变化进行总结，如表1和表2所示．
| 图表编号 | XD00199019700 严禁用于非法目的 |
|---|---|
| 绘制时间 | 2020.11.01 |
| 作者 | 董春燕、谭良 |
| 绘制单位 | 四川师范大学计算机学院、四川师范大学计算机学院、中国科学院计算技术研究所 |
| 更多格式 | 高清、无水印（增值服务） |
