Login / Signup
A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-Based Service Smart Contracts.
Zheng Yang
Hang Lei
Weizhong Qian
Published 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