| The DAO事件的形式化分析 | |
| 所属分类：技术论文 | |
| 上传者：zhoubin333 | |
| 文档大小：768 K | |
| 标签： 智能合约 形式化验证 模型检测 | |
| 所需积分：0分积分不够怎么办？ | |
| 文档介绍：随着区块链应用的推广与深入，智能合约的作用越来越突出，智能合约的安全问题也更加突显。由于区块链不可篡改的特点，智能合约一旦部署不可更改。在开发阶段保证智能合约的可靠性显得尤为重要。在The DAO事件中，由于智能合约中存在一种被称为重入漏洞的错误，黑客得以窃取在当时价值巨大的以太币。通过形式化分析来更清晰地展示重入漏洞的特点及重入攻击行为，并以此为例介绍基于模型检测技术的智能合约形式化验证方法。 | |
| 现在下载 | |
| VIP会员，AET专家下载不扣分；重复下载不扣分，本人上传资源不扣分。 | |
Copyright © 2005-2020 《电子技术应用》版权所有 京ICP备10017138号-2