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