A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-Based Service Smart Contracts.
Zheng YangHang LeiWeizhong QianPublished in: IEEE Access (2020)
Keyphrases
- formal verification
- model checking
- model checker
- automated verification
- security services
- smart grid
- bounded model checking
- formal methods
- network services
- information security
- symbolic model checking
- access control
- service composition
- web services
- security issues
- service management
- service providers
- security mechanisms
- intrusion detection
- protocol specification
- service oriented
- smart spaces
- network security
- temporal logic
- supply chain
- service offerings
- formal specification
- service discovery
- power system
- reinforcement learning
- application level
- security requirements
- directory service
- theorem prover
- electronic commerce
- state space
- end users