ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks
摘要
论文提出了一种动态的分析工具,可以保护智能合约在执行期间不被利用。它检测新漏洞的能力可以被所谓的“攻击模式”(attack pattern)所扩展。这种模式用特定领域的语言来编写,这种语言专门用来执行以太坊智能合约的模型,还可以用来描述恶意的控制和数据流。此外,还提出了一种新的机制来简化和加快管理攻击模式的过程。 模式pattern通过一个智能合同被投票和存储,从而利用了区块链提供的防篡改以及透明度的优点。
重入攻击
原创
2020-08-06 22:03:23 ·
242 阅读 ·
0 评论