{"updated":"2025-03-06T05:57:36.137140+00:00","links":{},"created":"2025-01-19T01:45:24.659283+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00240935","sets":["6164:6165:6462:11854"]},"path":["11854"],"owner":"11","recid":"240935","title":["ProVerifを用いたマークルハッシュ木の形式化"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2024-10-15"},"_buckets":{"deposit":"160593e7-f889-42e1-b199-c74553b71abe"},"_deposit":{"id":"240935","pid":{"type":"depid","value":"240935","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"ProVerifを用いたマークルハッシュ木の形式化","author_link":["662305","662306","662307","662308","662309","662310","662311","662312","662313","662314","662315","662316"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"ProVerifを用いたマークルハッシュ木の形式化","subitem_title_language":"ja"},{"subitem_title":"Formalization of Merkle Hash Tree in ProVerif","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"マークルハッシュ木, 形式検証, ProVerif, 再帰処理","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社会情報研究所"},{"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"},{"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/240935/files/IPSJ-CSS2024189.pdf","label":"IPSJ-CSS2024189.pdf"},"date":[{"dateType":"Available","dateValue":"2026-10-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-CSS2024189.pdf","filesize":[{"value":"379.3 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":"f538a2d1-a59d-4e1d-8308-5988dbebea78","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":[{}]},{"creatorNames":[{"creatorName":"山村, 和輝"}],"nameIdentifiers":[{}]}]},"item_18_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Shogo, Eshima","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Shuta, Kiuchi","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Kenichi, Arai","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Tetsuya, Okuda","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Misato, Nakabayashi","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Kazuki, Yamamura","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モデル）での暗号プロトコルの自動検証ツールであり，暗号プロトコルに要求される秘匿や認証などの安全性要件を自動で検証することができる．一方，マークルハッシュ木は，データの整合性とセキュリティを確保するためのデータ構造であり，データの改ざん防止が重要な場面で広く活用される．ProVerifでは，木構造をサポートしていないため，マークルハッシュ木を用いるプロトコルを検証する際には木構造と木構造に対する操作をユーザ定義で形式化する必要がある．著者らは，SCIS2018において，ProVerifを用いてCT (Certificate Transparency) を形式化するために，CTにおけるマークルハッシュ木を形式化する方法を提案した．本稿では，ProVerifを用いてマークルハッシュ木の構造および検証機能を表現する新たな手法を提案する．","subitem_description_type":"Other"}]},"item_18_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"ProVerif is an automatic verification tool for cryptographic protocols in the formal model (so called Dolev-Yao model) developed by Blanchet et al. It can automatically verify security requirements such as secrecy and authentication required by cryptographic protocols. On the other hand, the Merkle hash tree is a data structure for ensuring data consistency and security, and is widely used in situations where tampering prevention of data is important. However, ProVerif does not support tree structures. When verifying protocols using Merkle hash trees, it is necessary to formalize the tree structure and operations on the tree structure by user definition. The authors proposed a method to formalize the Merkle hash tree in CT (Certificate Transparency) for ProVerif at SCIS2018. In this paper, we propose a new method to express the structure and verification function of the Merkle hash tree for ProVerif.","subitem_description_type":"Other"}]},"item_18_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"1424","bibliographic_titles":[{"bibliographic_title":"コンピュータセキュリティシンポジウム2024論文集"}],"bibliographicPageStart":"1417","bibliographicIssueDates":{"bibliographicIssueDate":"2024-10-15","bibliographicIssueDateType":"Issued"}}]},"relation_version_is_last":true,"weko_creator_id":"11"},"id":240935}