Stronger Security of Authenticated Key Exchange
Provably secure session key distribution: the three party case