{"id":222915,"updated":"2025-01-19T13:34:22.948892+00:00","links":{},"created":"2025-01-19T01:22:50.860725+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00222915","sets":["1164:6389:10832:11053"]},"path":["11053"],"owner":"44499","recid":"222915","title":["トークン型電子現金方式の形式検証手法に関する初期検討"],"pubdate":{"attribute_name":"公開日","attribute_value":"2022-12-15"},"_buckets":{"deposit":"5ef09450-edf7-45e8-b255-be6dcfad9734"},"_deposit":{"id":"222915","pid":{"type":"depid","value":"222915","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"トークン型電子現金方式の形式検証手法に関する初期検討","author_link":["585532","585531","585537","585538","585536","585534","585533","585535"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"トークン型電子現金方式の形式検証手法に関する初期検討"},{"subitem_title":"Preliminary study on the formal verification of transferable electronic cash system","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"2022-12-15","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"NTT社会情報研究所"},{"subitem_text_value":"長崎大学"},{"subitem_text_value":"NTT社会情報研究所"},{"subitem_text_value":"群馬大学"},{"subitem_text_value":"NTT社会情報研究所"},{"subitem_text_value":"NTT社会情報研究所"},{"subitem_text_value":"NTT社会情報研究所"},{"subitem_text_value":"NTT社会情報研究所"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/222915/files/IPSJ-SPT22049024.pdf","label":"IPSJ-SPT22049024.pdf"},"date":[{"dateType":"Available","dateValue":"2024-12-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SPT22049024.pdf","filesize":[{"value":"292.8 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"46"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"cf00a0b9-952b-418d-941c-83fc8a249509","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2022 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"奥田, 哲矢"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"荒井, 研一"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"齋藤, 恆和"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"千田, 浩司"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"中林, 美郷"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"山村, 和輝"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"宮澤, 俊之"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"阿部, 正幸"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA12628305","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"2188-8671","subitem_source_identifier_type":"ISSN"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"本研究では，transferable electronic cash と呼ばれる，利用者の間でオフラインで流通可能な電子現金プロトコルの安全性検証の手法として形式検証を採用した手法を考察する．近年，中央銀行デジタル通貨への期待が集まる中で，口座型電子現金方式とトークン型電子現金方式が注目されている．特にトークン型電子現金方式は，災害時や通信障害時のオフライン利用が可能となり得る点がメリットとされる．本論文では，トークン型電子現金方式の安全性要件として，代表的な偽造不可能性／二重使用時追跡可能性／免責性／仮名性／追跡不可能性／結合不可能性に拡充を行った上で，これらを代表的な形式検証ツールである ProVerif で記述する場合の実装方針や課題について考察した．特に今回の初期検討においては，通貨の発行／引出／支払という各プロトコルフェーズにおいて，偽造不可能性／二重使用時追跡可能性の検証から着手した．その結果，今回対象としたオフライン型のトークン型電子現金プロトコルが，偽造不可能性を有すること，および，二重使用時追跡可能性を一義的には有しないことを，検証結果より再現するとともに，後者については追加の対応策の方針を論じた．さらに，実効性は高くないもののロンダリングに類する新しい攻撃ベクトルを発見したため，対応策を実装して，検証結果が安全となることを確かめた．","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"研究報告セキュリティ心理学とトラスト（SPT）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2022-12-15","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"24","bibliographicVolumeNumber":"2022-SPT-49"}]},"relation_version_is_last":true,"weko_creator_id":"44499"}}