Suvradip Chakraborty, Goutam Paul, C. Pandu Rangan. Forward-Secure Authenticated Symmetric Key Exchange Protocol: New Security Model and Secure Construction. In Man Ho Au, Atsuko Miyaji, editors, Provable Security - 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings. Volume 9451 of Lecture Notes in Computer Science, pages 149-166, Springer, 2015. [doi]
Abstract is missing.