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