A Formally Verified Security Scheme for Inter-gNB-DU Handover in 5G Vehicle-to-Everything.
Jiyoon KimDaniel Gerbi DugumaPhilip Virgil AstilloHoonyong ParkBonam KimIlsun YouVishal SharmaPublished in: IEEE Access (2021)
Keyphrases
- digital signature scheme
- secure communication
- protection scheme
- information security
- elliptic curve cryptography
- real time
- mobile ipv
- key agreement protocol
- provably secure
- diffie hellman
- authentication scheme
- security analysis
- identity based cryptography
- security requirements
- key agreement
- public key cryptosystem
- chosen plaintext
- private key
- security properties
- authentication protocol
- key management
- network security
- access control