Forward-Secure Authenticated Symmetric Key Exchange Protocol: New Security Model and Secure Construction.

Suvradip Chakraborty, Goutam Paul, C. Pandu Rangan

Browse the full ProvSec paper archive.