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