Stronger Security of Authenticated Key Exchange
Analysis of key-exchange protocols and their use for building secure channels