A Provable-Security Mutual Authenticated Key Agreement Protocol for Mobile Communication

In the area of mobile communication security, a key agreement protocol with mutual authentication is very essential to the following secure sessions between communicators and more attentions are paid to the provability of the protocol security. Based on Blake-Wilson's work, the new notions of secure AK and AKC protocols are defined. An efficient authenticated key agreement protocol for mobile communication setting is proposed, which can be proved a secure AK protocol in Bellare-Rogaway's model with the new notions of secure AK and AKC protocols. Additionally, compared with other protocols, this protocol only spends moderate computation cost, so it is quite practical.