Operations of Points on Elliptic Curve in Projective Coordinates

被引:4
|
作者
Futa, Yuichi [1 ]
Okazaki, Hiroyuki [1 ]
Mizushima, Daichi [1 ]
Shidama, Yasunari [1 ]
机构
[1] Shinshu Univ, Nagano, Japan
来源
FORMALIZED MATHEMATICS | 2012年 / 20卷 / 01期
关键词
D O I
10.2478/v10037-012-0012-2
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
In this article, we formalize operations of points on an elliptic curve over GF(p). Elliptic curve cryptography [7], whose security is based on a difficulty of discrete logarithm problem of elliptic curves, is important for information security. We prove that the two operations of points: compell(ProjCo) and addellProjCo are unary and binary operations of a point over the elliptic curve.
引用
收藏
页码:87 / 95
页数:9
相关论文
共 50 条