Provably secure session key distribution: the three party case
New Directions in Cryptography