Bellare, Mihir, and Phillip Rogaway. "Entity Authentication and Key Distribution." In Advances in cryptology CRYPTO?93., 1993.