特許
J-GLOBAL ID:202203005743044290

ハードウエアトロイ検出方法、ハードウエアトロイ検出装置及びハードウエアトロイ検出用プログラム

発明者:
出願人/特許権者:
代理人 (3件): 松浦 孝 ,  本田 崇 ,  小倉 洋樹
公報種別:公開公報
出願番号(国際出願番号):特願2020-110020
公開番号(公開出願番号):特開2022-007202
出願日: 2020年06月25日
公開日(公表日): 2022年01月13日
要約:
【課題】ハードウエアトロイを比較的短時間で適切に検出するハードウエアトロイ検出方法、ハードウエアトロイ検出装置及び検出プログラムを提供する。 【解決手段】ハードウエアトロイ検出装置において、外部記憶装置23内のハードウエアトロイ検出用プログラムは、検査対象のネットリストに含まれる全論理セルの論理式による演算を行って全論理セルの入出力値の更新を行う入出力更新手段と、更新された入出力値が閾値との比較結果に基づきハードウエアトロイの検出を行う検出手段と、全論理セルの入出力のネットに初期値としてパラメータを設定するパラメータ設定手段と、をじ実現する。入出力更新手段では、設定された前記パラメータを用いた演算を論理セルの全てについて所定回クール行って入力値と出力値の更新を行い、検出手段では、演算を所定回クール行ったときに得られたいずれかの論理セルの出力値に基づきハードウエアトロイの検出を行う。 【選択図】図14
請求項(抜粋):
検査対象のネットリストに含まれる全論理セルの論理式による演算を行って全論理セルの入出力値の更新を行う入出力更新工程と、 更新された入出力値と閾値との比較結果に基づきハードウエアトロイの検出を行う検出工程と を備えることを特徴とするハードウエアトロイ検出方法。
IPC (2件):
G06F 21/56 ,  G06F 30/398
FI (2件):
G06F21/56 ,  G06F17/50 666Z
Fターム (7件):
5B046AA08 ,  5B046BA03 ,  5B046GA01 ,  5B046JA01 ,  5B046JA04 ,  5B146AA22 ,  5B146GL00
引用特許:
出願人引用 (3件)
引用文献:
出願人引用 (1件)
  • Protection Against Hardware Trojans With Logic Testing: Proposed Solutions and Challenges Ahead
審査官引用 (1件)
  • Protection Against Hardware Trojans With Logic Testing: Proposed Solutions and Challenges Ahead

前のページに戻る