文献

J-GLOBAL ID：201702221421101786   整理番号：17A1568634

適応サイドチャネル攻撃の合成【Powered by NICT】

Synthesis of Adaptive Side-Channel Attacks

著者 (5件)： Phan Quoc-Sang ,  Bang Lucas ,  Pasareanu Corina S. ,  Malacaria Pasquale ,  Bultan Tevfik
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： CSF  ページ： 328-342  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 適応可能なサイドチャネル攻撃に起因することを脆弱性を検出し,同定された脆弱性を利用した入力を合成するための記号解析技法を提案した。敵対者は,できることを簡潔に全てのサイドチャネル攻撃をコードする記号攻撃モデルから始めた。このモデル上での記号的実行を用いて,数学的制約の集合を生成し,各制約はサイドチャネル測定の同じ配列に導く秘密値の集合を特性化した。は,最適攻撃,すなわち,秘密を超える最大漏れを生じ,計算制約の最適化問題を解くことにより攻撃を計算した。攻撃での多数回実験上の漏れを定量化するために通信路容量とShannonエントロピーのような情報理論的概念を用いて,側チャネル上での測定は,敵対者は,秘密を推測する試みに使用できるという観察を形成している。も各段階における記号攻撃モデルの一部を探索することにより攻撃を生成する欲張りヒューリスティックスを提案した。シンボリックPathFinder技術を実装し,JavaプログラムにWebサービス,ストリング操作と暗号機能をコードする,最適なサイドチャネル攻撃を合成するかを示すことを適用した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 暗号 ,  通信路容量 ,  発見的方法 ,  Java ,  キャラクタリゼーション ,  情報理論 ,  Webサービス ,  最適化問題 ,  *チャネル ,  *サイバー攻撃
準シソーラス用語： 情報エントロピー ,  敵対者 ,  脆弱性 ,  *サイドチャネル攻撃 , 【Automatic Indexing@JST】

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

タイトルに関連する用語 (2件)： 適応 ,  サイドチャネル攻撃