WEKO3
アイテム
Intel SGXを利用した自己破壊・出現データの実装
https://ipsj.ixsq.nii.ac.jp/records/208090
https://ipsj.ixsq.nii.ac.jp/records/208090e3303d17-3b51-4b66-9c7e-2ae507afd0ee
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-ComSys2020006.pdf (1.9 MB)
|
Copyright (c) 2020 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2020-11-24 | |||||||||
| タイトル | ||||||||||
| タイトル | Intel SGXを利用した自己破壊・出現データの実装 | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
| 資源タイプ | conference paper | |||||||||
| 著者所属 | ||||||||||
| 筑波大学 | ||||||||||
| 著者所属 | ||||||||||
| 筑波大学 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| University of Tsukuba | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| University of Tsukuba | ||||||||||
| 著者名 |
加藤, 風芽
× 加藤, 風芽
× 新城, 靖
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 今日ではインターネットを介してより多くのセンシティブな情報がやりとりされるようになってきており、これらの情報を安全に保つことが求められる。機密実行環境は、プログラムを他者の計算機でコードを秘匿したまま実行することを可能にする。本研究では、Intel SGXを利用して機密実行環境を構築し、指定した時刻になると自動的に使用できなくなるデータ（自己破壊データ）および、逆に指定した時刻になると使用できるようになるデータ（自己出現データ）を実現する。自己破壊・出現データを出力する条件は、S式に基づくドメイン固有言語で記述できる。自己破壊・出現データを実現するために、本研究では汎用サービスとして提供可能な外部の信頼された時刻源およびモノトニックカウンタを利用する。提案方式は、ファイルに保存された状態に対するロールバック攻撃や、ネットワーク経由で送受信されるメッセージのリプレイ攻撃に耐性がある。実験の結果、自己破壊・出現データの転送および出力が実用的な時間で行えることを確認した。 | |||||||||
| 書誌情報 |
コンピュータシステム・シンポジウム論文集 巻 2020, p. 42-51, 発行日 2020-11-24 |
|||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
