{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00217865","sets":["1164:3925:10844:10907"]},"path":["10907"],"owner":"44499","recid":"217865","title":["Proof-Carrying CodeとTEEを用いたプログラムの安全性保証付き秘匿実行方式"],"pubdate":{"attribute_name":"公開日","attribute_value":"2022-05-12"},"_buckets":{"deposit":"041ca9fa-8bc3-4873-9097-fc07d7551d1b"},"_deposit":{"id":"217865","pid":{"type":"depid","value":"217865","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"Proof-Carrying CodeとTEEを用いたプログラムの安全性保証付き秘匿実行方式","author_link":["565263","565262","565264","565265"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Proof-Carrying CodeとTEEを用いたプログラムの安全性保証付き秘匿実行方式"},{"subitem_title":"Confidential Program Execution With Security Assurance Using Proof-Carrying Code and TEE","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"CSEC","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2022-05-12","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"東京大学"},{"subitem_text_value":"奈良先端科学技術大学院大学"},{"subitem_text_value":"NTT社会情報研究所"},{"subitem_text_value":"NTT社会情報研究所"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"The University of Tokyo","subitem_text_language":"en"},{"subitem_text_value":"Nara Institute of Science and Technology","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/217865/files/IPSJ-CSEC22097007.pdf","label":"IPSJ-CSEC22097007.pdf"},"date":[{"dateType":"Available","dateValue":"2024-05-12"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-CSEC22097007.pdf","filesize":[{"value":"1.4 MB"}],"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":"f3199691-c495-4601-964d-678b3ccb8598","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":[{}]}]},"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":"Proof-Carrying Code（PCC）とは，プログラムと一緒にプログラムの証明を流通させることで，プログラムの真正性保証の実現や，プログラムが所望の安全性要件を満たすことを証明可能にする技術である．本研究では，PCC と Trusted なプログラム実行環境であるサーバサイド向け TEE を用いて，プログラムとデータをそれぞれ保有するユーザがプログラムとデータを互いに秘匿したままクラウド上でプログラムを実行する技術である Confidential Program Execution（CPE）上でのプログラムの安全性保証を実現する．具体的には，「対象プログラムは外部にデータを漏洩させない」というデータの秘匿性要件を保証する．PCC の適用により，特に VM/ コンテナ向けの 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":"2022-05-12","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"7","bibliographicVolumeNumber":"2022-CSEC-97"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"id":217865,"updated":"2025-01-19T15:21:12.200937+00:00","links":{},"created":"2025-01-19T01:18:17.557052+00:00"}