| The DAO事件的形式化分析 | |
| 所屬分類：技術論文 | |
| 上傳者：zhoubin333 | |
| 文檔大小：768 K | |
| 標簽： 智能合約 形式化驗證 模型檢測 | |
| 所需積分：0分積分不夠怎么辦？ | |
| 文檔介紹：隨著區(qū)塊鏈應用的推廣與深入，智能合約的作用越來越突出，智能合約的安全問題也更加突顯。由于區(qū)塊鏈不可篡改的特點，智能合約一旦部署不可更改。在開發(fā)階段保證智能合約的可靠性顯得尤為重要。在The DAO事件中，由于智能合約中存在一種被稱為重入漏洞的錯誤，黑客得以竊取在當時價值巨大的以太幣。通過形式化分析來更清晰地展示重入漏洞的特點及重入攻擊行為，并以此為例介紹基于模型檢測技術的智能合約形式化驗證方法。 | |
| 現在下載 | |
| VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。 | |
Copyright ? 2005-2024 華北計算機系統(tǒng)工程研究所版權所有 京ICP備10017138號-2