| The DAO事件的形式化分析 | |
| 所屬分類：技术论文 | |
| 上傳者：zhoubin333 | |
| 文檔大?。?span>768 K | |
| 標簽： 智能合约 形式化验证 模型检测 | |
| 所需積分：0分積分不夠怎么辦？ | |
| 文檔介紹：随着区块链应用的推广与深入，智能合约的作用越来越突出，智能合约的安全问题也更加突显。由于区块链不可篡改的特点，智能合约一旦部署不可更改。在开发阶段保证智能合约的可靠性显得尤为重要。在The DAO事件中，由于智能合约中存在一种被称为重入漏洞的错误，黑客得以窃取在当时价值巨大的以太币。通过形式化分析来更清晰地展示重入漏洞的特点及重入攻击行为，并以此为例介绍基于模型检测技术的智能合约形式化验证方法。 | |
| 現在下載 | |
| VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。 | |
Copyright ? 2005-2024 華北計算機系統工程研究所版權所有 京ICP備10017138號-2