Operations of Points on Elliptic Curve in Affine Coordinates
Keyword(s):
Summary In this article, we formalize in Mizar [1], [2] a binary operation of points on an elliptic curve over GF(p) in affine coordinates. We show that the operation is unital, complementable and commutative. Elliptic curve cryptography [3], whose security is based on a difficulty of discrete logarithm problem of elliptic curves, is important for information security.
2013 ◽
Vol 2
(1)
◽
pp. 151-160
2004 ◽
Vol 7
◽
pp. 167-192
◽
2002 ◽
Vol 5
◽
pp. 127-174
◽
2010 ◽
Vol 147
(1)
◽
pp. 75-104
◽
Keyword(s):
2004 ◽
Vol 7
◽
pp. 50-72
◽