Provably secure session key distribution: the three party case
Probabilistic encryption