文献

J-GLOBAL ID：201802226215463305   整理番号：18A0214690

静的特徴に基づくハードウェア木馬検出【JST・京大機械翻訳】

Detecting hardware Trojans based on static characteristics

著者 (2件)： Zhao Yuehui (中国科学院大学計算机与控制学院 北京101408) ,  Chen Haihua (中国科学院計算技術研究所計算机体系結構国家重点実験室 北京100190)
資料名： Gaojishu Tongxun  (Gaojishu Tongxun)
巻： 27  号： 6  ページ： 506-513  発行年： 2017年 
JST資料番号： W1491A  ISSN： 1002-0470  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 集積回路のグローバルな設計と製造によって,統合された回路は,悪意のある攻撃によって隠されたハードウェアの安全性と,既存のハードウェアの木馬検出法の技術的特徴を持っていることが分かった。これらに基づき,静的特徴に基づく新しい方法を提案し,それにより,ハードウェアの木馬に基づく静的な特徴を用いて,木馬を検出するための新しい方法を提案した。他の検出法と比較して,この方法は,既知の特徴をもつハードウェア木馬を迅速かつ正確に見つけることができた。機械メモリの大きさに制限されないように,この方法はグラフデータベースを用いて回路を記憶し,それにより超大規模回路を検出することができる。ISCAS’89とOpen-Cores benchmark回路を用いてHTCheckerに対して評価を行い、木馬回路はこれらの回路にランダムに挿入された。実験結果により、HTCheckerは木馬を迅速かつ正確に発見することができ、しかも“Golden Chip”の補助が不要で、HTCheckerが実際のVLSI設計を有効に処理できることを示した。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： 集積回路 ,  記憶装置 ,  安全性 ,  検出法 ,  *ハードウェア

著者キーワード (5件)： hardware security ,  static characteristics ,  hardware Trojan (HT) ,  Trojan detection ,  subgraph iso-morphism

分類 (3件)： 固体デバイス計測・試験・信頼性  (NC03040G) ,  CAD,CAM  (JE10000A) ,  集積回路一般  (NC03161C)

タイトルに関連する用語 (1件)： ハードウェア