| Item type |
学術雑誌論文 / Journal Article(1) |
| 公開日 |
2022-10-25 |
| タイトル |
|
|
タイトル |
Operations of Points on Elliptic Curve in Affine Coordinates |
|
言語 |
en |
| 言語 |
|
|
言語 |
eng |
| DOI |
|
|
関連タイプ |
isIdenticalTo |
|
|
識別子タイプ |
DOI |
|
|
関連識別子 |
https://doi.org/10.2478/forma-2019-0026 |
|
|
関連名称 |
10.2478/forma-2019-0026 |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
elliptic curve |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
commutative operation |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_6501 |
|
資源タイプ |
journal article |
| 著者 |
Futa, Yuichi
Okazaki, Hiroyuki
Shidama, Yasunari
|
| 信州大学研究者総覧へのリンク |
|
|
表示名 |
岡﨑, 裕之 |
|
URL |
https://soar-rd.shinshu-u.ac.jp/profile/ja.geDNbpkh.html |
| 出版者 |
|
|
出版者 |
SCIENDO |
| 引用 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
FORMALIZED MATHEMATICS 27(3) : 315-320(2020) |
| 書誌情報 |
FORMALIZED MATHEMATICS
巻 27,
号 3,
p. 315-320,
発行日 2020-02-17
|
| 抄録 |
|
|
内容記述タイプ |
Abstract |
|
内容記述 |
In this article, we formalize in Mizar a binary operationof points on an elliptic curve overGF(p) in affine coordinates. We show that theoperation is unital, complementable and commutative. Elliptic curve cryptogra-phy, whose security is based on a difficulty of discrete logarithm problem ofelliptic curves, is important for information security. |
| 資源タイプ（コンテンツの種類） |
|
|
内容記述タイプ |
Other |
|
内容記述 |
Article |
| ISSN |
|
|
収録物識別子タイプ |
EISSN |
|
収録物識別子 |
1898-9934 |
| 権利 |
|
|
権利情報 |
© 2019 Yuichi Futa et al., published by SciendoThis work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 License. |
| 出版タイプ |
|
|
出版タイプ |
VoR |
|
出版タイプResource |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
17K00182_2.pdf
