CS-LAKA: A Lightweight Authenticated Key Agreement Protocol With Critical Security Properties for IoT Environments.

Yimin Guo Yajun Guo

Published in: IEEE Trans. Serv. Comput. (2023)

Keyphrases

lightweight
key agreement protocol
security properties
diffie hellman
key agreement
security requirements

security protocols
security analysis
formal model
provably secure
key management

cryptographic protocols
authentication protocol
key distribution
formal methods
dos attacks

rfid tags
wireless sensor networks
information security
cloud computing
authentication scheme