| 講演抄録/キーワード |
| 講演名 |
2023-04-14 16:10
動的情報フロー追跡によるハードウェアトロジャン検出支援システムの提案 ○伊沢亮一・金谷延幸・井上大介(NICT) HWS2023-7 |
| 抄録 |
(和) |
本稿ではハードウェアトロジャン検出支援システムを提案する.検出対象としてHDL(Hardware Description Language)で記述された回路(以下,DUT: Device Under Test)に挿入されているハードウェアトロジャン(以下,トロジャン)を想定している.提案システムは検出支援の情報を得るために,DUTの入力やレジスタなどにテイントタグを付けて,テイントタグの伝播をシミュレーションする.提案システムの特徴は全ての入力やレジスタに対応するテイントタグを生成することで,それら全ての情報フローを追跡できる点にある.外部の経路に伝播したテイントタグの種類を見ることで,どの情報がトロジャンにより漏洩している可能性があるかが分かる.また,トロジャンの動作前後の伝播経路の差分を出力する.トロジャンへの入力などを知ることができトロジャン検出支援として役立つ. |
| (英) |
(Not available yet) |
| キーワード |
(和) |
ハードウェア記述言語(HDL) / FPGA / シミュレーション / テイント解析 / / / / |
| (英) |
/ / / / / / / |
| 文献情報 |
信学技報, vol. 123, no. 6, HWS2023-7, pp. 26-31, 2023年4月. |
| 資料番号 |
HWS2023-7 |
| 発行日 |
2023-04-07 (HWS) |
| ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| PDFダウンロード |
HWS2023-7 |