文献

J-GLOBAL ID：201702257180505591   整理番号：17A1396221

軽量集団メモリを用いた高信頼実行環境のためのロールバックと分岐検出【Powered by NICT】

Rollback and Forking Detection for Trusted Execution Environments Using Lightweight Collective Memory

著者 (4件)： Brandenburger Marcus ,  Cachin Christian ,  Lorenz Matthias ,  Kapitza Rudiger
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： DSN  ページ： 157-168  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： Intel社のソフトウェアガード拡張(SGX)により提供された,新しいハードウェア支援信頼できる実行環境は宿主システムである不正行為時も適用状態の機密性とインテグリティを安全な文脈におけるアプリケーションを実行することを可能にする。これは安全で信頼できるクラウドコンピューティングへの道を開くものであるが,ロールバックと分岐攻撃に対する持続的応用状態を防ぐために必須であるシステム支援が欠けている。本論文では,LCM-完全性と一貫性違反を検出するための遠隔応用の全てのクライアント間の集団記憶を確立するために軽量プロトコルを提案した。LCM)は,リモートアプリケーションに対するロールバック攻撃の検出を可能にし,フォーク線形化可能性の一貫性概念を強化し,動作安定性対象者に通知する。プロトコルは,信頼できる実行環境を利用し,簡単なクライアント側操作とを補完し,クライアントでの小さな,一定貯蔵のみを維持する。これは以前のアプローチと比較して溶液,クライアントは他のクライアントによって開始されたすべての操作を検証したを単純化した。LCMを実装し,キー値ストアの応用とその利点を実証した。評価は,それが低いネットワークと計算オーバヘッドを紹介し,特に,LCM保護キー値ストアはSGX安全なキー値ストアスループットの0.72倍 0.98xを達成することを示した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： インテグリティ ,  *記憶装置 ,  完全性 ,  ハードウェア ,  簡素化 ,  安全性 ,  プロトコル ,  ネットワーク ,  応用プログラム
準シソーラス用語： クラウドコンピューティング ,  機密性 ,  詐欺 ,  *ロールバック ,  *実行環境 ,  *軽量 , 【Automatic Indexing@JST】

分類 (2件)： データ保護  (JD01020V) ,  計算機網  (JC03000K)

タイトルに関連する用語 (5件)： 軽量 ,  集団 ,  実行環境 ,  ロールバック ,  分岐