SSHC: A Secure and Scalable Hybrid Consensus Protocol for Sharding Blockchains With a Formal Security Framework.
Yizhong LiuJianwei LiuQianhong WuHui YuYiming HeiZiyu ZhouPublished in: IEEE Trans. Dependable Secur. Comput. (2022)
Keyphrases
- lightweight
- cryptographic protocols
- security properties
- key exchange protocol
- authentication protocol
- formal model
- security protocols
- security issues
- security requirements
- security analysis
- security management
- key distribution
- data encryption
- key agreement protocol
- security services
- security model
- key management
- network security
- security level
- authentication scheme
- access control
- security patterns
- intrusion detection
- key agreement