A formal verification approach for composite smart contracts security using FSM.
Mouhamad AlmakhourLayth SlimanAbed Ellatif SamhatAbdelhamid MelloukPublished in: J. King Saud Univ. Comput. Inf. Sci. (2023)
Keyphrases
- formal verification
- model checking
- finite state machines
- model checker
- automated verification
- cryptographic protocols
- information security
- smart grid
- intrusion detection
- bounded model checking
- symbolic model checking
- program slicing
- access control
- security requirements
- security mechanisms
- security policies
- network security
- supply chain
- security issues
- statistical databases
- key management
- electronic commerce
- formal specification
- power system
- anomaly detection