Elliptic Curve Public Key Cryptosystems - an introduction
Reducing elliptic curve logarithms to logarithms in a finite field