{"created":"2022-10-24T23:55:24.193578+00:00","id":2001208,"links":{},"metadata":{"_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":["1221: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_source_id_35":{"attribute_name":"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"}],"filename":"17K00182_2.pdf","format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2022-10-25"},"publish_date":"2022-10-25","publish_status":"0","recid":"2001208","relation_version_is_last":true,"title":["Operations of Points on Elliptic Curve in Affine Coordinates"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2022-12-14T04:15:09.793783+00:00"}