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) -
Vyoma commerce: a blockchain-based decentralized architecture to combat fraud and enhance security and trust in Bangladesh’s e-commerce ecosystem leveraging smart contracts, supply chain transparency, and digital identity
by: Avijit Chowdhury
Published: (2025-08-01) -
NetChecker: enabling real-time and error-locatable runtime verification for programmable networks
by: Ying Yao, 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) -
Blockchain-Driven E-Voting: Enhancing Security and Integrity with Smart Contracts
by: Urooj Waheed, et al.
Published: (2025-06-01)