文献

J-GLOBAL ID：202002272733710824   整理番号：20A1931047

投機的アウトオブオーダプロセッサにおけるMI6セキュアエンクラブ【JST・京大機械翻訳】

MI6 Secure Enclaves in a Speculative Out-of-Order Processor

著者 (6件)： Bourgeat Thomas (Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology) ,  Lebedev Ilia (Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology) ,  Wright Andrew (Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology) ,  Zhang Sizhuo (Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology) ,  Arvind (Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology) ,  Devadas Srinivas (Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology)
資料名： ACM Proceedings  (ACM Proceedings)
号： MICRO ’52  ページ： 42-56  発行年： 2019年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 最近の攻撃は,共有マイクロアーキテクチュラル状態への間接アクセスを可能にする,マイクロアーキテクチュラルサイドチャネルを利用することによって,プロセス分離を破綻する。エンクラブは,分離保証を回復するためのプロセス抽象化を強化する。ここでは,制御フロー誤仕様を利用するものを含む,現在考慮されている任意のソフトウェア攻撃を実装できる,無信頼OSと攻撃者を含む脅威モデルの下で,安全なエンクラブを提供できる,攻撃的推測的アウトオブオーダプロセッサであるMI6を提案した。MI6はSanctum[16]によって触発され,より現実的なメモリ階層にその隔離保証を拡張した。また,安全なプロセスが(デ)スケジューリングされ,複雑なプロセッサマイクロアーキテクチャに実装される場合にのみ使用されるパージ命令を導入する。著者らは,非信頼Linux OS内のエンクラブとしてSPEC CINT2006ベンチマークを実行することによって,AWS F1FPGA上のFPGAエミュレーションを通して,MI6におけるエンクラブの性能影響をモデル化した。セキュリティは,保護プログラムのおよそ16.4%の平均減速のコストで来る。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： スケジューリング ,  掃気 ,  エミュレーション ,  ソフトウェア ,  *演算プロセッサ ,  ベンチマーク ,  セキュリティ ,  FPGA ,  記憶階層 ,  Linux
準シソーラス用語： マイクロアーキテクチャ ,  制御フロー ,  隔離 ,  投機 ,  攻撃者 , 【Automatic Indexing@JST】

著者キーワード (3件)： 建築免震 ,  マイクロアーキテクチャ分離 ,  安全なプロセッサ

分類 (2件)： 制御方式  (JC02030K) ,  汎用演算制御装置  (JC04020N)

タイトルに関連する用語 (1件)： 投機