Automated Runtime Verification of Security for E-Commerce Smart Contracts - Liu, Yang (Journal of Theoretical and Applied Electronic Commerce Research, 2025)