Lijiang Zhang. A provably secure authenticated key exchange protocol. In Proceedings of the IEEE International Conference on Wireless Communications, Networking and Information Security, WCNIS 2010, 25-27 June 2010, Beijing, China. pages 292-297, IEEE, 2010. [doi]