The DAO事件的形式化分析
所屬分類：技术论文
上傳者：zhoubin333
文檔大?。?span>768 K
標(biāo)簽： 智能合约 形式化验证 模型检测
所需積分：0分積分不夠怎么辦？
文檔介紹：随着区块链应用的推广与深入，智能合约的作用越来越突出，智能合约的安全问题也更加突显。由于区块链不可篡改的特点，智能合约一旦部署不可更改。在开发阶段保证智能合约的可靠性显得尤为重要。在The DAO事件中，由于智能合约中存在一种被称为重入漏洞的错误，黑客得以窃取在当时价值巨大的以太币。通过形式化分析来更清晰地展示重入漏洞的特点及重入攻击行为，并以此为例介绍基于模型检测技术的智能合约形式化验证方法。
現(xiàn)在下載
VIP會(huì)員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。