Provably secure session key distribution: the three party case
A digital signature scheme secure against adaptive chosen-message attacks