Verification of Transaction Ordering Dependence Vulnerability of Smart Contract Based on CPN
Hong Zheng, Zerun Liu, Jianhua Huang, Shihui Qian
Journal of System Simulation . 2022, (7): 1629 -1638 .  DOI: 10.16182/j.issn1004731x.joss.21-0208