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...
Saved in:
Main Authors: | , , |
---|---|
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!
|