Provably secure authenticated key exchange protocols for low power computing clients
Low power computing devices such as cellular phones, PDAs, and smart cards are very popular and widely used by people nowadays. To secure communications between a client and a server through a low power computing device, several AKELPC (Authenticated Key Exchange  for Low Power Computing clients) protocols have been proposed recently. This paper proposes a new efficient AKELPC protocol, which requires the client to perform only one hash operation during the execution phase. An augmented protocol which can additionally provide explicit mutual authentication is also presented. Furthermore, the security of the proposed protocols is formally proven in the random oracle model.
authenticated key exchange low power computing random oracle model cryptography