WEKO3
アイテム
動的情報フロー追跡によるハードウェアトロジャン検出支援システムの改良
https://ipsj.ixsq.nii.ac.jp/records/233335
https://ipsj.ixsq.nii.ac.jp/records/2333352e8d4a21-b543-4503-9747-53113e595ec7
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-DPS24198051.pdf (1.2 MB)
2026年3月11日からダウンロード可能です。
|
Copyright (c) 2024 by the Information Processing Society of Japan
|
|
| 非会員：¥660, IPSJ:学会員：¥330, DPS:会員：¥0, DLIB:会員：¥0 | ||
| Item type | SIG Technical Reports(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2024-03-11 | |||||||||||
| タイトル | ||||||||||||
| タイトル | 動的情報フロー追跡によるハードウェアトロジャン検出支援システムの改良 | |||||||||||
| タイトル | ||||||||||||
| 言語 | en | |||||||||||
| タイトル | A System with Information Flow Tracking for Supporting Hardware-Trojan Detection | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| キーワード | ||||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | 暗号1・システムセキュリティ | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||||
| 資源タイプ | technical report | |||||||||||
| 著者所属 | ||||||||||||
| 国立研究開発法人情報通信研究機構 | ||||||||||||
| 著者所属 | ||||||||||||
| 国立研究開発法人情報通信研究機構 | ||||||||||||
| 著者所属 | ||||||||||||
| 国立研究開発法人情報通信研究機構 | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| NICT | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| NICT | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| NICT | ||||||||||||
| 著者名 |
伊沢, 亮一
× 伊沢, 亮一
× 金谷, 延幸
× 井上, 大介
|
|||||||||||
| 論文抄録 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | FPGA（Field Programmable Gate Array）上で動作する回路のアウトソーシングは製造コストを最適化できるが，その製造過程においてハードウェアトロジャンが挿入されることが懸念される．本稿では HDL（ハードウェア記述言語）で書かれたハードウェアトロジャンを対象とし，動的情報フロー追跡を用いたハードウェアトロジャン検知支援システムを提案する．HDL を対象とした既存の動的情報フロー追跡技術とは異なり，我々の実装では複数の変数（Verilog の reg や wire など）の情報フローを追跡することができる．これにより柔軟なアサーションポリシィ（検証ポリシィ）を記述することができるようになる．例えば，外部チャネルから送信されてはいけない変数として複数の変数を指定できるようになる．加えて，提案システムは回路に挿入されたハードウェアトロジャンの存在を検知するだけでなく，ハードウェアトロジャンに関するステートメント（実行文）とそのステートメントの実行条件を抽出することができる． | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AN10116224 | |||||||||||
| 書誌情報 |
研究報告マルチメディア通信と分散処理（DPS） 巻 2024-DPS-198, 号 51, p. 1-8, 発行日 2024-03-11 |
|||||||||||
| ISSN | ||||||||||||
| 収録物識別子タイプ | ISSN | |||||||||||
| 収録物識別子 | 2188-8906 | |||||||||||
| Notice | ||||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
