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