文献

J-GLOBAL ID：201902212822874369   整理番号：19A0510625

ハードウェアトロイ検出ゲーム:展望理論的アプローチ【JST・京大機械翻訳】

Hardware Trojan Detection Game: A Prospect-Theoretic Approach

著者 (5件)： Saad Walid (Bradley Department of Electrical and Computer Engineering, Virginia Tech, Wireless@VT, Blacksburg, VA, USA) ,  Sanjab Anibal (Bradley Department of Electrical and Computer Engineering, Virginia Tech, Wireless@VT, Blacksburg, VA, USA) ,  Wang Yunpeng (Electrical and Computer Engineering Department, University of Miami, Coral Gables, FL, USA) ,  Kamhoua Charles A. (Air Force Research Laboratory, Information Directorate, Cyber Assurance Branch, Rome, NY, USA) ,  Kwiat Kevin A. (Air Force Research Laboratory, Information Directorate, Cyber Assurance Branch, Rome, NY, USA)
資料名： IEEE Transactions on Vehicular Technology  (IEEE Transactions on Vehicular Technology)
巻： 66  号： 9  ページ： 7697-7710  発行年： 2017年 
JST資料番号： C0244A  ISSN： 0018-9545  CODEN： ITVTAB  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 沖合の基礎に対するアウトソーシング集積回路(IC)製造は,近年指数関数的に成長した。車両システムと他の現代のエンジニアリング設計の制御と運用におけるICの重要な役割を考えると,このような沖合アウトソーシングは,活性化された場合に,ハードウェアトロイの挿入の可能性により深刻なセキュリティ脅威をもたらし,その結果,非常に有害な結果をもたらす。本論文において,新しいゲーム理論的フレームワークを提案して,攻撃者として作用するハードウェア製造者と防御者として作用するIC試験設備の間の相互作用を解析した。この問題は,攻撃者がトロイのタイプに関して決定しなければならない非協力ゲームとして定式化される。一方,トロイによって引き起こされる損傷と同様に検出ペナルティを考慮に入れる。一方,資源制約防衛者は,損傷と微粉の両方を説明する全体的効用を最適化することを可能にする最良の試験戦略を決定しなければならない。提案したゲームは,攻撃者と防御者の両方の意思決定における潜在的不確実性,リスク,および不合理な挙動を捉えることを可能にする見込み理論(PT)のロバストな行動フレームワークに基づいている。標準的な合理的期待効用(EUT)事例とPT事例の両方に対して,仮想的な役割に基づく新しいアルゴリズムを提案し,混合戦略Nash均衡に収束することを示した。例証事例研究のために,EUTとPTの両方について徹底的な解析結果を導き,達成された平衡の特性と防御セットの微細さのような重要なシステムパラメータの影響を調べた。シミュレーション結果は,EUTとPTの両方の下で提案フレームワークの性能を評価し,PTの使用が提案したハードウェアトロイゲーム,特にシステムセキュリティの結果に関する貴重な洞察を提供することを示した。Copyright 2019 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 最適化 ,  事例研究 ,  意思決定 ,  相互作用 ,  *ゲーム ,  セキュリティ ,  *ハードウェア ,  アルゴリズム ,  生産者 ,  シミュレーション ,  ロバスト性 ,  定式化 ,  アウトソーシング
準シソーラス用語： 防衛 ,  攻撃者 , 【Automatic Indexing@JST】

分類 (2件)： 移動通信  (ND08030H) ,  データ保護  (JD01020V)

タイトルに関連する用語 (4件)： ハードウェア ,  ゲーム ,  展望 ,  理論