|
|||||
|
|
| 基于模型检测的区块链智能合约公平性形式化验证 | |
| 作者姓名： | 肖美华 周浩洋 朱志亮 罗敏 |
| 作者单位： | 华东交通大学软件学院,江西南昌 330013;江西省计算技术研究所,江西南昌 330003 |
| 基金项目： | 国家自然科学基金;国家自然科学基金;江西省主要学科学术;技术带头人计划项目;江西省研究生创新专项;江西省青年科学基金 |
| 摘 要： | 随着第二代区块链平台及应用的爆发式增长,作为部署在区块链上可执行代码的智能合约面临越来越多的安全性问题.但是目前针对智能合约安全性问题的研究大多集中在对安全漏洞的挖掘,很少关注智能合约本身公平性对安全性的影响,对此提出一种基于模型检测的智能合约公平性验证方法.采用该方法对Puzzle合约的公平性进行验证,找到了一个已知... |
| 关 键 词： | 智能合约 形式化方法 模型检测 交易顺序依赖漏洞 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |