F-KE — Key exchange, authenticated KE

F-KE (Key exchange, authenticated KE) is part of Public-Key Primitives, Key Exchange, Messaging in the UC functionality encyclopedia. Status: a canonical, well-established UC functionality.

References:

• Canetti and Krawczyk. Universally composable notions of key exchange and secure channels. In Advances in Cryptology – EUROCRYPT 2002, volume 2332 of LNCS, pages 337–351, 2002.
• Canetti and Krawczyk. Analysis of key-exchange protocols and their use for building secure channels. In Advances in Cryptology – EUROCRYPT 2001, volume 2045 of LNCS, pages 453–474, 2001.
• Bellare and Rogaway. Entity authentication and key distribution. In Advances in Cryptology – CRYPTO 1993, volume 773 of LNCS, pages 232–249, 1994.