Automated Runtime Verification of Security for E-Commerce Smart Contracts

• Published in: Journal of theoretical and applied electronic commerce research Vol. 20; no. 2; p. 73
• Main Authors: Liu, Yang, Zhang, Shengjie, Ma, Yan
• Format: Journal Article
• Language: English
• Published: Curicó MDPI AG 01.06.2025
• Subjects: Accuracy; Automation; Behavior; Blockchain; Contracts; Design; e-commerce; Efficiency; Electronic commerce; Genetic algorithms; Learning; passive learning; Run time (computers); runtime verification; Security; smart contract; Teaching methods; Verification

As a novel decentralized computing paradigm, blockchain is expected to disrupt the existing e-commerce architecture and process. Secure smart contracts are the crucial foundation for e-commerce based on blockchain. However, vulnerabilities in smart contracts occur from time to time and cause signifi...