Automated Runtime Verification of Security for E-Commerce Smart Contracts

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Yang Liu, Shengjie Zhang, Yan Ma
Format: Article
Language:English
Published: MDPI AG 2025-04-01
Series:Journal of Theoretical and Applied Electronic Commerce Research
Subjects:
Online Access:https://www.mdpi.com/0718-1876/20/2/73
Tags: Add Tag
No Tags, Be the first to tag this record!