文献

J-GLOBAL ID：201702226236441854   整理番号：17A1254764

密封ガラス証明:証明と販売知識への透過的包有物を用いた【Powered by NICT】

Sealed-Glass Proofs: Using Transparent Enclaves to Prove and Sell Knowledge

著者 (6件)： Tramer Florian ,  Zhang Fan ,  Lin Huang ,  Hubaux Jean-Pierre ,  Juels Ari ,  Shi Elaine
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： EuroS&P  ページ： 19-34  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： Intel社の新しいSGX命令セットアーキテクチャ拡張のような信頼できるハードウェアシステムは応用のための強い機密性とインテグリティ保証を提供することを目指した。が,最近の研究は,サイドチャネル攻撃へのそのようなシステムの脆弱性について深刻な懸念を提起する。を提案し,定式化し,非有界漏れを持つ実行環境であり,任意の副チャネルに直面した可能な計算をモデル化する密封ガラス証明(SGP)と呼ばれる暗号プリミティブを調べた。SGPは特異的にはコード片の正確な実行に証明できるが,その実行が透明信頼ハードウェアの能力をモデル化し,アプリケーションの秘密と状態は同じ宿主に他のプロセスに見えることを意味した。この強い脅威モデルにもかかわらず,SGPはある範囲の実際的な利用を可能にすることを示した。著者らの鍵となる観察は,SGPは零知識における安全な検証可能な計算を可能にする,データ漏洩が自身の秘密を学習証明器のみで結果として。他の応用の中で,SGXベースSGPをスマート契約であることをエンドツーエンドバグ恵み(または零日誘導)プラットフォームの実装について述べた。著者らのプラットフォームは,公平な交換を実現し,不正恵み取水から保護し,不正販売者によるサービス拒否攻撃に抵抗する市場を可能にした。最小,サイド・チャネル抵抗力のあるプリミティブを例示化ブラックボックスモジュールを可能にし,広い範囲の応用をもたらすことをSGPモデルのわずかな緩和を考察した。SGXのような信頼されたハードウェアシステムはサイドチャネルの存在下でも信頼できるアプリケーションをサポートすることを示した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 計算機アーキテクチャ ,  ハードウェア ,  *ガラス ,  チャネル ,  応用プログラム ,  定式化 ,  モデリング ,  インテグリティ ,  安全性 ,  命令セット ,  暗号 ,  サイバー攻撃
準シソーラス用語： DoS ,  脆弱性 ,  サイドチャネル攻撃 ,  機密性 , 【Automatic Indexing@JST】

分類 (2件)： 符号理論  (ND02030R) ,  データ保護  (JD01020V)

タイトルに関連する用語 (7件)： 密封 ,  ガラス ,  証明 ,  販売 ,  知識 ,  透過 ,  包有物