A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-based Service Smart Contracts.
Zheng YangHang LeiWeizong QianPublished in: CoRR (2019)
Keyphrases
- formal verification
- model checking
- formal methods
- model checker
- automated verification
- security services
- service management
- network services
- smart grid
- access control
- service providers
- temporal logic
- information security
- bounded model checking
- protocol specification
- symbolic model checking
- network security
- service offerings
- application level
- intrusion detection
- theorem prover
- program slicing
- web services
- service discovery
- service composition
- end users
- security mechanisms
- service oriented
- description languages
- e government
- expert systems