WEKO3
-
RootNode
アイテム
Operations of Points on Elliptic Curve in Affine Coordinates
http://hdl.handle.net/10091/0002001208
http://hdl.handle.net/10091/0002001208652762d5-95f4-47af-92c5-a64499795ef2
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
17K00182_2.pdf
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2022-10-25 | |||||||||||
| タイトル | ||||||||||||
| タイトル | Operations of Points on Elliptic Curve in Affine Coordinates | |||||||||||
| 言語 | ||||||||||||
| 言語 | eng | |||||||||||
| DOI | ||||||||||||
| 関連タイプ | isIdenticalTo | |||||||||||
| 関連識別子 | https://doi.org/10.2478/forma-2019-0026 | |||||||||||
| 関連名称 | 10.2478/forma-2019-0026 | |||||||||||
| キーワード | ||||||||||||
| 主題 | elliptic curve, commutative operation | |||||||||||
| 資源タイプ | ||||||||||||
| 資源 | http://purl.org/coar/resource_type/c_6501 | |||||||||||
| タイプ | journal article | |||||||||||
| 著者 |
Futa, Yuichi
× Futa, Yuichi
× Okazaki, Hiroyuki
× Shidama, Yasunari
|
|||||||||||
| 信州大学研究者総覧へのリンク | ||||||||||||
| 氏名 | 岡﨑, 裕之 | |||||||||||
| URL | https://soar-rd.shinshu-u.ac.jp/profile/ja.geDNbpkh.html | |||||||||||
| 出版者 | ||||||||||||
| 出版者 | SCIENDO | |||||||||||
| 引用 | ||||||||||||
| 内容記述 | FORMALIZED MATHEMATICS 27(3) : 315-320(2020) | |||||||||||
| 書誌情報 |
FORMALIZED MATHEMATICS 巻 27, 号 3, p. 315-320, 発行日 2020-02-17 |
|||||||||||
| 抄録 | ||||||||||||
| 内容記述 | 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. | |||||||||||
| 資源タイプ（コンテンツの種類） | ||||||||||||
| 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 | |||||||||||
