基于CPN的智能合约交易顺序依赖漏洞的验证

郑红, 刘泽润, 黄建华, 钱诗慧

Verification of Transaction Ordering Dependence Vulnerability of Smart Contract Based on CPN

Hong Zheng, Zerun Liu, Jianhua Huang, Shihui Qian

系统仿真学报 . 2022, (7): 1629 -1638 . DOI: 10.16182/j.issn1004731x.joss.21-0208