Mihir Bellare Phillip Rogaway Provably secure session key distribution: the three party case. 57-66 1995 conf/stoc/STOC27 STOC http://doi.acm.org/10.1145/225058.225084 db/conf/stoc/stoc1995.html#BellareR95