Digital signatures with RSA and other public-key cryptosystems
On the security of public key protocols