文献

J-GLOBAL ID：202002266453911341   整理番号：20A2191312

SIMCom:ランタイムハードウェアトロイ検出のためのモジュール間通信の統計的スニフィング【JST・京大機械翻訳】

SIMCom: Statistical sniffing of inter-module communications for runtime hardware trojan detection

著者 (4件)： Khalid Faiq (Technische Universitaet Wien (TU Wien), Vienna, Austria) ,  Hasan Syed Rafay (Department of Electrical and Computer Engineering, Tennessee Tech University, Cookeville, TN, USA) ,  Hasan Osman (National University of Sciences and Technology (NUST), Islamabad, Pakistan) ,  Shafique Muhammad (Technische Universitaet Wien (TU Wien), Vienna, Austria)
資料名： Microprocessors and Microsystems  (Microprocessors and Microsystems)
巻： 77  ページ： Null  発行年： 2020年 
JST資料番号： H0781A  ISSN： 0141-9331  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： Hardware Trojan(HTs)の時間検出は,安全な集積回路のための主要な課題となっている。SIMComと名付けた与えられたシステムオンチップ(SoC)における通信チャネルのマルチパラメータ統計的トラフィックモデリングを用いるHT検出のための実行時間方法論を提示した。主なアイデアは,Hurst指数のような多重サイドチャネル情報,注入分布の標準偏差,およびHTベースオンライン異常を正確に同定するホップ分布(プロトコルまたは制御信号に影響することなく通信に影響する)を用いて通信をモデル化することである。設計時間において,著者らの方法論は,与えられたSoCの正しい通信行動を指定して,RTLにおける主張を定義して,埋め込むために「特性仕様言語」を採用した。実行時間では,これらの主張に対する実行パターンをチェックすることにより,通信挙動の異常をモニタする。説明のために,3つのSoC,すなわちSoC1(4つの単一コアMC8051とUARTモジュール),SoC2(4つの単一コアMC8051,AES,エーテルネット,メムクトル,ベーシックRSA,RS232モジュール)とSoC3(4つの単一コアLEON3を互いに接続した4つの単一コアLEON3,および,それぞれとAES,Ethernet,memctrl,基本的RSA,RS23sモジュールマイクロコントローラ)のSIMComを評価した。実験結果は,多重統計パラメータの組合せ解析によって,SIMComが,1%未満の面積と電力オーバヘッドで,すべてのベンチマークTrojan(信頼-ハブで利用可能な)を検出することができることを示す。Copyright 2020 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 集積回路 ,  電力 ,  標準偏差 ,  エーテル ,  多重化 ,  *通信 ,  *ハードウェア ,  通信チャネル ,  制御信号 ,  マイクロコントローラ ,  ベンチマーク ,  仕様記述言語
準シソーラス用語： システムオンチップ ,  実行時間 ,  オーバヘッド , 【Automatic Indexing@JST】

著者キーワード (7件)： ハードウェアトロイ ,  統計的モデリング ,  コミュニケーション ,  マイクロコントローラ ,  インターネット ,  IoT ,  Hurst指数

分類 (2件)： 汎用演算制御装置  (JC04020N) ,  半導体集積回路  (NC03162T)

タイトルに関連する用語 (2件)： モジュール ,  統計