{"id":240936,"created":"2025-01-19T01:45:24.753145+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00240936","sets":["6164:6165:6462:11854"]},"path":["11854"],"owner":"11","recid":"240936","title":["スマートフォン環境を想定したOptimistic Fair Exchangeプロトコルの形式検証"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2024-10-15"},"_buckets":{"deposit":"bd36adef-db6a-4bd4-aa14-7629958e45bd"},"_deposit":{"id":"240936","pid":{"type":"depid","value":"240936","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"スマートフォン環境を想定したOptimistic Fair Exchangeプロトコルの形式検証","author_link":["662317","662318","662319","662320","662321","662322","662323","662324","662325","662326"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"スマートフォン環境を想定したOptimistic Fair Exchangeプロトコルの形式検証","subitem_title_language":"ja"},{"subitem_title":"Formal Verification of Optimistic Fair Exchange Protocol for Smartphone Environment","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"フォーマルメソッド, ProVerif, Optimistic Fair Exchange（OFE），SmartOFE","subitem_subject_scheme":"Other"}]},"item_type_id":"18","publish_date":"2024-10-15","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_18_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"長崎大学"},{"subitem_text_value":"長崎大学"},{"subitem_text_value":"長崎大学"},{"subitem_text_value":"NTT社会情報研究所"},{"subitem_text_value":"NTT社会情報研究所"}]},"item_18_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Nagasaki University","subitem_text_language":"en"},{"subitem_text_value":"Nagasaki University","subitem_text_language":"en"},{"subitem_text_value":"Nagasaki University","subitem_text_language":"en"},{"subitem_text_value":"NTT Social Informatics Laboratories","subitem_text_language":"en"},{"subitem_text_value":"NTT Social Informatics Laboratories","subitem_text_language":"en"}]},"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/240936/files/IPSJ-CSS2024190.pdf","label":"IPSJ-CSS2024190.pdf"},"date":[{"dateType":"Available","dateValue":"2026-10-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-CSS2024190.pdf","filesize":[{"value":"442.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":"30"},{"tax":["include_tax"],"price":"0","billingrole":"46"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"b65eb71a-1c57-44c5-9a74-a0e682760571","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2024 by the Information Processing Society of Japan"}]},"item_18_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":[{}]}]},"item_18_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Shuta, Kiuchi","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Shogo, Eshima","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Kenichi, Arai","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Misato, Nakabayashi","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Tetsuya, Okuda","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_18_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"ProVerifは，Blanchetらが開発した形式モデルの一つであるDolev-Yaoモデルでの暗号プロトコルの安全性検証ツールであり，秘匿や強秘匿, 認証などの要件を自動で検証することができる．一方，複数のパーティ間で公平に価値を交換するために，Fair Exchangeプロトコルが提案されている．Fair Exchangeプロトコルの中でも公平性を保つために必要な信頼のおける第三者（TTP:Trustes Third Party）がプロトコルの正常時は関与せず，TTPとのやり取りがResolveおよびAbortの要求時のみである災害時やネットワーク障害時を想定してTTPとのやり取りを最小限にしたものをOptimistic Fair Exchange（OFE）プロトコルと呼ぶ．本稿では，DICOMO2024においてのOFEプロトコルのバリエーションとして提案された，スマートフォン上で多様な価値を公平かつプライバシを考慮した形で交換するためのOFEプロトコル（SmartOFEプロトコル）について，ProVerifを用いて形式化，及び，安全性検証を行う．","subitem_description_type":"Other"}]},"item_18_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"ProVerif is a security verification tool for cryptographic protocols in the Dolev-Yao model, developed by Blanchet et al. It can automatically verify requirements such as secrecy, strong secrecy, and authentication. On the other hand, Fair Exchange protocols have been proposed to fairly exchange values between multiple parties. Among Fair Exchange protocols, those that minimize interactions with a trusted third party (TTP) during normal protocol operations and only involve the TTP during disaster or network failure scenarios, such as when requesting Resolve or Abort, are called Optimistic Fair Exchange (OFE) protocols. This paper formalizes and verifies the security of an OFE protocol (SmartOFE protocol) proposed at DICOMO2024, which allows for the fair and privacy-conscious exchange of various values on smartphones using ProVerif. ","subitem_description_type":"Other"}]},"item_18_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"1432","bibliographic_titles":[{"bibliographic_title":"コンピュータセキュリティシンポジウム2024論文集"}],"bibliographicPageStart":"1425","bibliographicIssueDates":{"bibliographicIssueDate":"2024-10-15","bibliographicIssueDateType":"Issued"}}]},"relation_version_is_last":true,"weko_creator_id":"11"},"updated":"2025-03-06T05:57:37.541493+00:00","links":{}}