The DAO事件的形式化分析
Information Techology and Network Security（2021）
摘要
随着区块链应用的推广与深入,智能合约的作用越来越突出,智能合约的安全问题也更加突显.由于区块链不可篡改的特点,智能合约一旦部署不可更改.在开发阶段保证智能合约的可靠性显得尤为重要.在The DAO事件中,由于智能合约中存在一种被称为重入漏洞的错误,黑客得以窃取在当时价值巨大的以太币.通过形式化分析来更清晰地展示重入漏洞的特点及重入攻击行为,并以此为例介绍基于模型检测技术的智能合约形式化验证方法.
更多AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要