%0 Journal Article
%T Set of Points on Elliptic Curve in Projective Coordinates
%A Yuichi Futa
%A Hiroyuki Okazaki
%A Yasunari Shidama
%J Formalized Mathematics
%@ 1898-9934
%D 2011
%I 
%R 10.2478/v10037-011-0021-6
%X In this article, we formalize a set of points on an elliptic curve over GF(p). Elliptic curve cryptography [10], whose security is based on a difficulty of discrete logarithm problem of elliptic curves, is important for information security.
%U http://versita.metapress.com/content/q5871j3660414842/?p=402fbc6153ad416ab80168a45b113833&pi=1