文献

J-GLOBAL ID：202202273923127092   整理番号：22A0787611

キャッシュガード:キャッシュタイミングサイドチャネルセキュリティのための行動モデルチェッカー:(招待論文)【JST・京大機械翻訳】

CacheGuard: A Behavior Model Checker for Cache Timing Side-Channel Security: (Invited Paper)

著者 (6件)： Xu Zihan (Tsinghua University,Department of Computer Science and Technology,Beijing,China,100084) ,  Yin Lingfeng (Tsinghua University,Department of Computer Science and Technology,Beijing,China,100084) ,  Lyu Yongqiang (Tsinghua University,Beijing National Research Center for Information Science and Technology,Beijing,China,100084) ,  Wang Haixia (Tsinghua University,Department of Computer Science and Technology,Beijing,China,100084) ,  Qu Gang (Institute for Systems Research University of Maryland,Department of Electrical and Computer Engineering,College Park,USA,20742) ,  Wang Dongsheng (Tsinghua University,Department of Computer Science and Technology,Beijing,China,100084)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2022  号： ASP-DAC  ページ： 19-24  発行年： 2022年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： キャッシュタイミングサイドチャネルは,現代の安全なプロセッサ設計における主要な関心事となっている。しかし,与えられたキャッシュ設計がタイミングサイドチャネル攻撃に対して防御できるかどうかを完全にチェックできる形式的方法は,まだ存在しない。本研究では,キャッシュタイミングサイドチャネルセキュリティに対する行動モデルチェッカーであるキャッシュグアルドを提示した。現在の最先端のプロースルールベースのセキュリティ解析手法と比較して,キャッシュグアルドは,未知のサイドチャネル攻撃を発見するために,与えられたキャッシュ設計のために全体の状態空間をカバーする。標準キャッシュと最先端の安全なキャッシュ設計に関するチェック結果は,5つの新しい攻撃戦略を発見し,潜在的に,CacheGuardの支援でタイミングサイドチャネル安全キャッシュを開発することを可能にした。Copyright 2022 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *保護具 ,  *キャッシュメモリ ,  演算プロセッサ ,  安全解析 ,  チャネル ,  セキュリティ ,  サイバー攻撃
準シソーラス用語： サイドチャネル攻撃 ,  行動モデル , 【Automatic Indexing@JST】

分類 (3件)： 医用画像処理  (JE04020T) ,  NMR一般  (BM07041R) ,  図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (5件)： キャッシュ ,  ガード ,  行動モデル ,  チェッカー ,  論文