WEKO3
-
RootNode
アイテム
Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar
http://hdl.handle.net/10091/17167
http://hdl.handle.net/10091/171679a9aa723-2b7a-405b-8ea8-135ca531db78
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
Formalization_Definitions_Theorems_Related_Elliptic_Curve_Over.pdf (293.1 kB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2013-09-19 | |||||||||||
| タイトル | ||||||||||||
| タイトル | Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar | |||||||||||
| 言語 | ||||||||||||
| 言語 | eng | |||||||||||
| DOI | ||||||||||||
| 関連識別子 | https://doi.org/10.1007/s10817-012-9265-2 | |||||||||||
| 関連名称 | 10.1007/s10817-012-9265-2 | |||||||||||
| キーワード | ||||||||||||
| 主題 | Elliptic curve, Prime field, Projective coordinate | |||||||||||
| 資源タイプ | ||||||||||||
| 資源 | http://purl.org/coar/resource_type/c_6501 | |||||||||||
| タイプ | journal article | |||||||||||
| 著者 |
Futa, Yuichi
× Futa, Yuichi
× Okazaki, Hiroyuki
× Shidama, Yasunari
|
|||||||||||
| 信州大学研究者総覧へのリンク | ||||||||||||
| 氏名 | Okazaki, Hiroyuki | |||||||||||
| URL | http://soar-rd.shinshu-u.ac.jp/profile/ja.geDNbpkh.html | |||||||||||
| 信州大学研究者総覧へのリンク | ||||||||||||
| 氏名 | Shidama, Yasunari | |||||||||||
| URL | http://soar-rd.shinshu-u.ac.jp/profile/ja.OeceZVkh.html | |||||||||||
| 出版者 | ||||||||||||
| 出版者 | SPRINGER | |||||||||||
| 引用 | ||||||||||||
| 内容記述 | JOURNAL OF AUTOMATED REASONING. 50(2):161-172 (2013) | |||||||||||
| 書誌情報 |
JOURNAL OF AUTOMATED REASONING 巻 50, 号 2, p. 161-172, 発行日 2013-02 |
|||||||||||
| 抄録 | ||||||||||||
| 内容記述 | In this paper, we introduce our formalization of the definitions and theorems related to an elliptic curve over a finite prime field. The elliptic curve is important in an elliptic curve cryptosystem whose security is based on the computational complexity of the elliptic curve discrete logarithm problem. | |||||||||||
| 資源タイプ（コンテンツの種類） | ||||||||||||
| ISSN | ||||||||||||
| 収録物識別子タイプ | ISSN | |||||||||||
| 収録物識別子 | 0168-7433 | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AA10458306 | |||||||||||
| 権利 | ||||||||||||
| 権利情報 | Copyright© The Author(s) 2012. This article is published with open access at Springerlink.com | |||||||||||
| 出版タイプ | ||||||||||||
| 出版タイプ | VoR | |||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||
| WoS | ||||||||||||
| URL | http://gateway.isiknowledge.com/gateway/Gateway.cgi?&GWVersion=2&SrcAuth=ShinshuUniv&SrcApp=ShinshuUniv&DestLinkType=FullRecord&DestApp=WOS&KeyUT=000313368400005 | |||||||||||
Share
Cite as
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari, 2013, Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar: SPRINGER, 161–172 p.
Loading...
