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