Towards modelling perfect forward secrecy in two-message authenticated key exchange under ephemeral-key revelation. - Yang, Zheng; Yang, Wu; Zhu, Lingyun; Zhang, Daigu (Secur. Commun. Networks, 2015)