{"created":"2021-03-01T06:14:20.190541+00:00","id":11443,"links":{},"metadata":{"_buckets":{"deposit":"71911430-edde-4222-adfc-4251323fc531"},"_deposit":{"id":"11443","owners":[],"pid":{"revision_id":0,"type":"depid","value":"11443"},"status":"published"},"_oai":{"id":"oai:soar-ir.repo.nii.ac.jp:00011443","sets":["1162:1163"]},"author_link":["35548","35549","35550"],"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":"2013-02","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"2","bibliographicPageEnd":"172","bibliographicPageStart":"161","bibliographicVolumeNumber":"50","bibliographic_titles":[{"bibliographic_title":"JOURNAL OF AUTOMATED REASONING"}]}]},"item_6_description_20":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"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.","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":"JOURNAL OF AUTOMATED REASONING. 50(2):161-172 (2013)","subitem_description_type":"Other"}]},"item_6_link_3":{"attribute_name":"信州大学研究者総覧へのリンク","attribute_value_mlt":[{"subitem_link_text":"Okazaki, Hiroyuki","subitem_link_url":"http://soar-rd.shinshu-u.ac.jp/profile/ja.geDNbpkh.html"},{"subitem_link_text":"Shidama, Yasunari","subitem_link_url":"http://soar-rd.shinshu-u.ac.jp/profile/ja.OeceZVkh.html"}]},"item_6_link_67":{"attribute_name":"WoS","attribute_value_mlt":[{"subitem_link_url":"http://gateway.isiknowledge.com/gateway/Gateway.cgi?&GWVersion=2&SrcAuth=ShinshuUniv&SrcApp=ShinshuUniv&DestLinkType=FullRecord&DestApp=WOS&KeyUT=000313368400005"}]},"item_6_publisher_4":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"SPRINGER"}]},"item_6_relation_48":{"attribute_name":"DOI","attribute_value_mlt":[{"subitem_relation_name":[{"subitem_relation_name_text":"10.1007/s10817-012-9265-2"}],"subitem_relation_type_id":{"subitem_relation_type_id_text":"https://doi.org/10.1007/s10817-012-9265-2","subitem_relation_type_select":"DOI"}}]},"item_6_rights_62":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"Copyright© The Author(s) 2012. This article is published with open access at Springerlink.com"}]},"item_6_source_id_35":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0168-7433","subitem_source_identifier_type":"ISSN"}]},"item_6_source_id_40":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA10458306","subitem_source_identifier_type":"NCID"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Futa,  Yuichi"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Okazaki,  Hiroyuki"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Shidama,  Yasunari"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2015-09-28"}],"displaytype":"detail","filename":"Formalization_Definitions_Theorems_Related_Elliptic_Curve_Over.pdf","filesize":[{"value":"293.1 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"Formalization_Definitions_Theorems_Related_Elliptic_Curve_Over.pdf","url":"https://soar-ir.repo.nii.ac.jp/record/11443/files/Formalization_Definitions_Theorems_Related_Elliptic_Curve_Over.pdf"},"version_id":"866ecb51-7e1c-4aff-96f5-b4959b7d8537"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"Elliptic curve","subitem_subject_scheme":"Other"},{"subitem_subject":"Prime field","subitem_subject_scheme":"Other"},{"subitem_subject":"Projective coordinate","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":"Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar","subitem_title_language":"en"}]},"item_type_id":"6","owner":"1","path":["1163"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2013-09-19"},"publish_date":"2013-09-19","publish_status":"0","recid":"11443","relation_version_is_last":true,"title":["Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2022-12-14T04:25:31.204158+00:00"}