Formal Security Analysis on dBFT Protocol of NEO.
Qin WangRujia LiShiping ChenYang XiangPublished in: CoRR (2021)
Keyphrases
- security analysis
- mutual authentication
- authentication protocol
- smart card
- security model
- security requirements
- public key
- security properties
- high security
- secure electronic
- key exchange
- image encryption
- user authentication
- formal model
- encryption scheme
- elliptic curve cryptography
- authentication scheme
- encryption algorithm
- formal methods