BAVP: Blockchain-Based Access Verification Protocol in LEO Constellation Using IBE Keys.
Songjie WeiShuai LiPeilong LiuMeilin LiuPublished in: Secur. Commun. Networks (2018)
Keyphrases
- cryptographic protocols
- formal analysis
- protocol specification
- model checking
- model checker
- access control
- formal proof
- lightweight
- data dissemination
- security protocols
- formal verification
- security analysis
- key exchange protocol
- communication protocol
- tcp ip
- secret key
- group communication
- face verification
- session key
- key establishment
- spatial relations