A Survey on Security Verification of Blockchain Smart Contracts.
Jing LiuZhen-Tian LiuPublished in: IEEE Access (2019)
Keyphrases
- high security
- java card
- cryptographic protocols
- integrity verification
- access control
- smart grid
- information security
- computer security
- security analysis
- decision making
- intrusion detection
- security model
- supply chain
- statistical databases
- security issues
- security policies
- model checking
- security measures
- advanced metering infrastructure
- data mining
- asynchronous circuits
- security threats
- security problems
- anomaly detection
- cyber security
- network security
- smart environments
- biometric systems