文献

J-GLOBAL ID：201702277710796742   整理番号：17A1570581

論理関係を用いた組合せハードウェアトロイ検出【Powered by NICT】

Combinational hardware Trojan detection using logic implications

著者 (2件)： Cornell Noah (School of Engineering, University of St. Thomas, St. Paul, MN, 55104) ,  Nepal Kundan (School of Engineering, University of St. Thomas, St. Paul, MN, 55104)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： MWSCAS  ページ： 571-574  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 組合せハードウェアトロイの木馬検出のための論理的含意を使用することの潜在的利点の概念実証を提供した。論理シミュレーションを用いて,選択と組合せハードウェアトロイによるペイロード送達を検出するためのチェッカー回路への添加は有効である論理関係。ISCASベンチマークスイートから組合せ回路とチェッカーのための適度なハードウェア量を用いて,シミュレーション結果は,筆者らのアプローチを用いたトロイ脱出検出の確率は16%のみであったことを示した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： ペイロード ,  組合せ回路 ,  含意 ,  *ハードウェア ,  論理シミュレーション ,  シミュレーション

分類 (4件)： 半導体集積回路  (NC03162T) ,  固体デバイス計測・試験・信頼性  (NC03040G) ,  集積回路一般  (NC03161C) ,  データ保護  (JD01020V)

タイトルに関連する用語 (3件)： 論理 ,  組合せ ,  ハードウェア