QR kód

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

Celý popis

Uloženo v:
Hlavní autoři: Jun Jin, Wenhao Zhan, Haisheng Li, Yi Ding, Jie Li
Médium: Artigo
Jazyk:Inglês
Vydáno: MDPI AG 2024-08-01
Edice:Mathematics
Témata:
smart contracts
model checking
solidity
UPPAAL
formal methods
security vulnerabilities
On-line přístup:https://www.mdpi.com/2227-7390/12/15/2431
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky