{"updated":"2025-01-19T17:04:59.845912+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00213648","sets":["1164:3925:10503:10715"]},"path":["10715"],"owner":"44499","recid":"213648","title":["Confidential Program Executionの提案と安全性評価"],"pubdate":{"attribute_name":"公開日","attribute_value":"2021-11-01"},"_buckets":{"deposit":"03b66ede-c4f7-4d4d-b5c7-27a368153a50"},"_deposit":{"id":"213648","pid":{"type":"depid","value":"213648","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"Confidential Program Executionの提案と安全性評価","author_link":["546966","546967","546969","546968","546965"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Confidential Program Executionの提案と安全性評価"},{"subitem_title":"Proposition and Security Evaluation of Confidential Program Execution","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"2021-11-01","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"NTT社会情報研究所"},{"subitem_text_value":"NTT社会情報研究所"},{"subitem_text_value":"長崎大学"},{"subitem_text_value":"NTT社会情報研究所"},{"subitem_text_value":"NTT社会情報研究所"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"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":"Nagasaki Uniersity","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_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/213648/files/IPSJ-CSEC21095017.pdf","label":"IPSJ-CSEC21095017.pdf"},"date":[{"dateType":"Available","dateValue":"2023-11-01"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-CSEC21095017.pdf","filesize":[{"value":"885.4 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":"44"}],"accessrole":"open_date","version_id":"39f05c91-5691-48f1-a2a9-bd62e3d955e9","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2021 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":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11235941","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-8655","subitem_source_identifier_type":"ISSN"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"本研究では，TEE (Trusted Execution Environment) を応用したクラウドサービス群である Confidential Computing について，データおよびプログラムの両者を秘匿したまま利用できる Confidential Program Execution を提案し，その安全性を評価する．前提として，Intel SGX，AMD SEV のようなサーバサイドにおける TEE を使えば，クラウド事業者に対してデータを秘匿しつつ，クラウドサービスを利用することができる．さらにその発展として，Felsen らは，データを有するユーザとプログラムを有するユーザが，互いにそれぞれのデータとプログラムを自身以外（クラウド事業者を含む）には秘匿したまま，プログラムの実行結果を享受できる方式を提案している．しかし Felsen らの方式は，実行毎にデータとプログラムをクラウド事業者にアップロードする必要があり，かつ方式の安全性証明は与えられていなかった．本稿では，Felsen らと同様にデータとプログラムを秘匿しつつ実行結果を得られ，且つ実行毎にデータとプログラムをクラウド事業者にアップロードする必要がない方式を提案し，その方式の安全性を，形式検証ツールである ProVerif を用いて評価した．評価の結果，本研究の提案プロトコルが，各データおよびプログラムの秘匿の要件，および各エンティティの認証の要件を充足することが分かった．また，本研究の提案および評価を通じて分かった，TEE 応用プロトコル設計時に，TEE がユーザとは独立したエンティティとしてふるまう点，および，TEE を含めたマルチパーティの攻撃者モデルを想定すべき点は，今後多くの TEE 応用プロトコルが設計される際に，プロトコル設計者の参考になると期待される．","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"研究報告コンピュータセキュリティ（CSEC）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2021-11-01","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"17","bibliographicVolumeNumber":"2021-CSEC-95"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"created":"2025-01-19T01:14:30.222406+00:00","id":213648,"links":{}}