抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
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】