| Item type |
SIG Technical Reports(1) |
| 公開日 |
2022-05-12 |
| タイトル |
|
|
タイトル |
Proof-Carrying CodeとTEEを用いたプログラムの安全性保証付き秘匿実行方式 |
| タイトル |
|
|
言語 |
en |
|
タイトル |
Confidential Program Execution With Security Assurance Using Proof-Carrying Code and TEE |
| 言語 |
|
|
言語 |
jpn |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
CSEC |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_18gh |
|
資源タイプ |
technical report |
| 著者所属 |
|
|
|
東京大学 |
| 著者所属 |
|
|
|
奈良先端科学技術大学院大学 |
| 著者所属 |
|
|
|
NTT社会情報研究所 |
| 著者所属 |
|
|
|
NTT社会情報研究所 |
| 著者所属(英) |
|
|
|
en |
|
|
The University of Tokyo |
| 著者所属(英) |
|
|
|
en |
|
|
Nara Institute of Science and Technology |
| 著者所属(英) |
|
|
|
en |
|
|
NTT Social Informatics Laboratories |
| 著者所属(英) |
|
|
|
en |
|
|
NTT Social Informatics Laboratories |
| 著者名 |
所司, 翼
吉村, 仁志
中林, 美郷
奥田, 哲矢
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
Proof-Carrying Code（PCC）とは，プログラムと一緒にプログラムの証明を流通させることで，プログラムの真正性保証の実現や，プログラムが所望の安全性要件を満たすことを証明可能にする技術である．本研究では，PCC と Trusted なプログラム実行環境であるサーバサイド向け TEE を用いて，プログラムとデータをそれぞれ保有するユーザがプログラムとデータを互いに秘匿したままクラウド上でプログラムを実行する技術である Confidential Program Execution（CPE）上でのプログラムの安全性保証を実現する．具体的には，「対象プログラムは外部にデータを漏洩させない」というデータの秘匿性要件を保証する．PCC の適用により，特に VM/ コンテナ向けの TEE において，従来は不可能であったプログラム真正性やデータ秘匿性の保証を与えることができる． |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AA11235941 |
| 書誌情報 |
研究報告コンピュータセキュリティ（CSEC）
巻 2022-CSEC-97,
号 7,
p. 1-8,
発行日 2022-05-12
|
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
2188-8655 |
| Notice |
|
|
|
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. |
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-CSEC22097007.pdf (1.4 MB)
