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: | 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!
|
Similar Items
-
Ethereum Smart Contracts Under Scrutiny: A Survey of Security Verification Tools, Techniques, and Challenges
by: Mounira Kezadri Hamiaz, et al.
Published: (2025-06-01) -
Dynamic assessment approach for intelligent power distribution systems based on runtime verification with requirements updates
by: Yunshuo Li, et al.
Published: (2025-06-01) -
Automated Tools for Secure Ethereum Smart Contract Development
by: Andrey Chaheev, et al.
Published: (2025-04-01) -
Blockchain-Driven E-Voting: Enhancing Security and Integrity with Smart Contracts
by: Urooj Waheed, et al.
Published: (2025-06-01) -
Empirical Analysis of Vulnerabilities in Blockchain-based Smart Contracts
by: Dr. Kashif Mehboob Khan, et al.
Published: (2022-06-01)