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