A Provably Secure Anonymous Authenticated Key Exchange Protocol Based on ECC for Wireless Sensor Networks. - Ke Zhang 007; Kai Xu; Fushan Wei (Wirel. Commun. Mob. Comput., 2018)