Towards modelling perfect forward secrecy in two-message authenticated key exchange under ephemeral-key revelation

Zheng Yang, Wu Yang, Lingyun Zhu, Daigu Zhang. Towards modelling perfect forward secrecy in two-message authenticated key exchange under ephemeral-key revelation. Security and Communication Networks, 8(18):3356-3371, 2015. [doi]

Abstract

Abstract is missing.