计算机工程2025，Vol.51Issue(4)：15-26,12.DOI:10.19678/j.issn.1000-3428.0070219
基于Petri网的区块链智能合约攻击者建模与检测
Modeling and Detection of Blockchain Smart Contract Attackers Based on Petri Nets
摘要
Abstract
Smart contracts are the core of the second-generation blockchain Ethereum.They involve a large amount of cash flow but are vulnerable to hacking because of being deployed on a public chain.Therefore,potential vulnerabilities in contracts must be detected to ensure their security.However,existing detection methods have difficulty coping with the structural deception of attack codes,in-depth analysis of program logic,and mitigation of state-space explosions.To address these issues,this study first proposes a smart contract attacker modeling detection framework based on Petri nets;the framework uses abstract semantic rules and the dynamic operation characteristics of the nets to capture attack behaviors accurately and ensure high adaptability and accuracy of smart contract detection.Second,the study presents a unified detection method for multilevel vulnerabilities that combines the key features of vulnerabilities at each level to derive attack likelihoods and their potential impacts.Finally,the study presents an on-demand state-space generation mitigation mechanism for the state-space explosion problem;this mechanism improves detection efficiency and resource utilization significantly.Experimental results demonstrate that the proposed method is feasible and practical.关键词
智能合约/颜色Petri网/攻击/建模/检测Key words
smart contract/Color Petri Net(CPN)/attack/modeling/detection分类
计算机与自动化引用本文复制引用
杨林枫,黄政,徐岩,丁志军..基于Petri网的区块链智能合约攻击者建模与检测[J].计算机工程,2025,51(4):15-26,12.基金项目
中央高校基本科研业务费专项资金(22120240563). （22120240563）
