A Dynamic Behavior Verification Method for Composite Smart Contracts Based on Model Checking
A composite smart contract can execute smart contracts that may belong to other owners or companies through external calls, bringing more security challenges to blockchain applications. Traditional static verification methods are inadequate for analyzing the dynamic execution of these contracts, res...
Shranjeno v:
| Principais autores: | , , , , |
|---|---|
| Format: | Artigo |
| Jezik: | Inglês |
| Izdano: |
MDPI AG
2024-08-01
|
| Serija: | Mathematics |
| Teme: | |
| Online dostop: | https://www.mdpi.com/2227-7390/12/15/2431 |
| Oznake: |
Brez oznak, prvi označite!
|