计算机工程

作者：杨林枫, 黄政, 徐岩, 丁志军

单位：1. 同济大学计算机科学与技术学院, 上海 2018042. 北京市西城经济科学大学基础系, 北京 100120

关键词：智能合约,颜色Petri网,攻击,建模,检测

基金：中央高校基本科研业务费专项资金(22120240563)

智能合约是第二代区块链以太坊的核心, 涉及大量资金流动, 因部署在公有链上易遭黑客攻击。因此, 检测合约潜在漏洞以确保其安全性至关重要。然而, 现有检测方法难以应对攻击代码结构性欺骗、深入解析程序逻辑、缓解状态空间爆炸等情况。为此, 构建一种基于Petri网的智能合约攻击者建模检测框架, 利用抽象语义规则和网络动态运行特性精确捕捉攻击行为, 确保智能合约检测的高适配性和高准确性。同时, 提出一种多层次漏洞统一检测方法, 结合各层次漏洞的关键特征, 推导攻击可能性及其潜在影响。针对状态空间爆炸问题, 设计一种按需生成状态空间的缓解机制, 有效提升了检测效率和资源利用率。实验结果表明, 所提检测方法具有可行性与实用性。

来源：2025年第4期

《计算机工程》期刊编辑部

查看计算机工程杂志2025年第4期