a) defining a finite group [P] with a binary operation [+] and publishing a particular point P in said group; b) defining and publishing a binary operation K*p, where K is an integer and p is a point in said group, such that K*p is a point in said group computed by applying said operation [+] to K copies of said point p, and computation of K from knowledge of the definition of said group [P], said