ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_buckets": {"deposit": "5015d5ee-ce16-4387-9804-4cc491732d88"}, "_deposit": {"id": "2001208", "owners": [1], "pid": {"revision_id": 0, "type": "depid", "value": "2001208"}, "status": "published"}, "_oai": {"id": "oai:soar-ir.repo.nii.ac.jp:02001208", "sets": ["1222"]}, "author_link": [], "control_number": "2001208", "item_1628147817048": {"attribute_name": "出版タイプ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_970fb48d4fbd8a85", "subitem_version_type": "VoR"}]}, "item_6_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2020-02-17", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "3", "bibliographicPageEnd": "320", "bibliographicPageStart": "315", "bibliographicVolumeNumber": "27", "bibliographic_titles": [{"bibliographic_title": "FORMALIZED MATHEMATICS"}]}]}, "item_6_description_20": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "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.", "subitem_description_type": "Abstract"}]}, "item_6_description_30": {"attribute_name": "資源タイプ(コンテンツの種類)", "attribute_value_mlt": [{"subitem_description": "Article", "subitem_description_type": "Other"}]}, "item_6_description_5": {"attribute_name": "引用", "attribute_value_mlt": [{"subitem_description": "FORMALIZED MATHEMATICS 27(3) : 315-320(2020)", "subitem_description_type": "Other"}]}, "item_6_link_3": {"attribute_name": "信州大学研究者総覧へのリンク", "attribute_value_mlt": [{"subitem_link_text": "岡﨑, 裕之", "subitem_link_url": "https://soar-rd.shinshu-u.ac.jp/profile/ja.geDNbpkh.html"}]}, "item_6_publisher_4": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "SCIENDO"}]}, "item_6_relation_48": {"attribute_name": "DOI", "attribute_value_mlt": [{"subitem_relation_name": [{"subitem_relation_name_text": "10.2478/forma-2019-0026"}], "subitem_relation_type": "isIdenticalTo", "subitem_relation_type_id": {"subitem_relation_type_id_text": "https://doi.org/10.2478/forma-2019-0026", "subitem_relation_type_select": "DOI"}}]}, "item_6_rights_62": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "© 2019 Yuichi Futa et al., published by SciendoThis work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 License."}]}, "item_6_select_64": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_6_source_id_35": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "1898-9934", "subitem_source_identifier_type": "EISSN"}]}, "item_6_source_id_39": {"attribute_name": "NII ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "1898-9934", "subitem_source_identifier_type": "EISSN"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Futa, Yuichi", "creatorNameLang": "en"}]}, {"creatorNames": [{"creatorName": "Okazaki, Hiroyuki", "creatorNameLang": "en"}]}, {"creatorNames": [{"creatorName": "Shidama, Yasunari", "creatorNameLang": "en"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2022-10-25"}], "download_preview_message": "", "file_order": 0, "filename": "17K00182_2.pdf", "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 0, "url": {"label": "17K00182_2.pdf", "url": "https://soar-ir.repo.nii.ac.jp/record/2001208/files/17K00182_2.pdf"}, "version_id": "01b8c262-66ab-4a02-9228-8a6f36620dab"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "elliptic curve", "subitem_subject_scheme": "Other"}, {"subitem_subject": "commutative operation", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "Operations of Points on Elliptic Curve in Affine Coordinates", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Operations of Points on Elliptic Curve in Affine Coordinates", "subitem_title_language": "en"}]}, "item_type_id": "6", "owner": "1", "path": ["1222"], "permalink_uri": "http://hdl.handle.net/10091/0002001208", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2022-10-25"}, "publish_date": "2022-10-25", "publish_status": "0", "recid": "2001208", "relation": {}, "relation_version_is_last": true, "title": ["Operations of Points on Elliptic Curve in Affine Coordinates"], "weko_shared_id": -1}
  1. 060 工学部
  2. 0601 学術論文

Operations of Points on Elliptic Curve in Affine Coordinates

http://hdl.handle.net/10091/0002001208
http://hdl.handle.net/10091/0002001208
652762d5-95f4-47af-92c5-a64499795ef2
名前 / ファイル ライセンス アクション
17K00182_2.pdf 17K00182_2.pdf
Item type 学術雑誌論文 / Journal Article(1)
公開日 2022-10-25
タイトル
言語 en
タイトル Operations of Points on Elliptic Curve in Affine Coordinates
言語
言語 eng
キーワード
主題Scheme Other
主題 elliptic curve
キーワード
主題Scheme Other
主題 commutative operation
資源タイプ
資源 http://purl.org/coar/resource_type/c_6501
タイプ journal article
著者 Futa, Yuichi

× Futa, Yuichi

en Futa, Yuichi

Search repository
Okazaki, Hiroyuki

× Okazaki, Hiroyuki

en Okazaki, Hiroyuki

Search repository
Shidama, Yasunari

× Shidama, Yasunari

en Shidama, Yasunari

Search repository
信州大学研究者総覧へのリンク
氏名 岡﨑, 裕之
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
DOI
関連タイプ isIdenticalTo
識別子タイプ DOI
関連識別子 https://doi.org/10.2478/forma-2019-0026
関連名称 10.2478/forma-2019-0026
権利
権利情報 © 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
戻る
0
views
See details
Views

Versions

Ver.1 2022-10-24 23:55:25.300246
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3