A formal verification approach for composite smart contracts security using FSM

A formal verification approach for composite smart contracts security using FSM

Many of today's companies use Smart Contracts to represent and execute their business processes. Smart contracts are self-executed programs running over blockchain. In this context, composite smart contracts are used to represent collaborative business processes. A composite smart contract is a...

Full description

Bibliographic Details
Main Authors: Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk
Format: Article
Language:English
Published: Elsevier 2023-01-01
Series:Journal of King Saud University: Computer and Information Sciences
Subjects:
Composite smart contracts
Finite state machine
Verification
Security
Correctness
Online Access:http://www.sciencedirect.com/science/article/pii/S1319157822003111

Similar Items

Similar Items