The Study of Mutual Authentication and Key Exchange Protocols for Low Power Wireless Communications

Shim describes unknown key-share attack on the server-specific MAKEP, and Siaw-Lynn Ng demonstrates further limitations of protocol. In the paper, we propose an improved version of server-specific MAKEP. The modified protocol not only overcomes the above attacks but also simplifies the protocol which proposed by Shim. Then, we analyze authentication of the improved protocol by extend theory of strand space. The analysis proved the correctness of the improved protocol.