早大と東芝情報システム、ハードウェアトロイ検知技術で連携

2019年07月29日

早稲田大学
東芝情報システム株式会社

早大と東芝情報システム、ハードウェアトロイ検知技術で連携
実回路での効果を確認
~早大オープンイノベーション機構と東芝情報システムによる産学連携成果~

発表のポイント

• 早大の「ハードウェアトロイ検出手法」を適用した検証ツールを東芝情報システムが開発
• ハードウェアトロイ検出の効果を確認
• 同検出手法としては、初の社会実装事例
• 今後、より安全なLSI回路設計及び、他社製IPの安全性確認に効果が期待される

早稲田大学（以下、早大）の戸川望（とがわのぞむ）理工学術院教授と東芝情報システム株式会社（本社: 川崎市川崎区、取締役社長：渡邉 一正　以下、東芝情報システム）は、早大が開発した「ハードウェアトロイ検出手法」の設計に基づき検証ツールを共同で開発しました。また本検証ツールを用いて既知のハードウェアトロイが正しく検知できること、さらに同社設計の実製品に適用して誤検知が無いことも確認いたしました。同検出手法の社会実装としては初の事例となります。

本研究成果は、2019年9月10～13日開催の電子情報通信学会ソサイエティ大会（大阪大学）にて発表および展示を行う予定です。

（１）社会的背景、これまでの経緯

総務省の予測では2020年に全世界で400億個を超えるIoTデバイスが稼働するとされています。IoTデバイスの利用は今後も多様化が見込まれているため、ハードウェアに対するセキュリティ対策が求められています。

そうした社会背景のなかで、早大の戸川教授はLSIのハードウェアセキュリティに関する研究に長年取り組んでいます。戸川教授の研究成果のひとつに、総務省戦略的情報通信研究開発推進事業（SCOPE）のもとに「パタンマッチング」による「ハードウェアトロイ検出手法」の開発があります（平成２８年度完了）。この開発にあたっては、すでに後述の論文①および論文②として発表しており、さらに特許（5、後述）を取得しています。

一方、東芝情報システムはLSI分野、組込みシステム分野、システムインテグレーション分野において、各種ソリューションを提供しており、本産学連携を行なうLSIソリューション事業部は、半導体集積回路の受託設計やオリジナルLSI製品の販売を行っています。

両者は日本学術振興機構による「2018早稲田大学 - 新技術説明会」（2018年6月21日開催、JST東京本部別館１Fホール）にて、戸川教授により上記の研究開発内容の発表（※）がされたことを契機として、「ハードウェアトロイ検出手法」の社会実装に向けて連携協議を開始しました。2019年1月からは、早大オープンイノベーション戦略研究機構を窓口として、東芝情報システムと早大間で受託研究（2018年度中）、ならびに共同研究（2019年度より）を進めています。

※参照　https://shingi.jst.go.jp/kobetsu/waseda/2018_waseda.html

（２）今回の研究で新たに実現しようとしたこと、明らかになったこと

このたび、東芝情報システムは早大が開発した「ハードウェアトロイ検出手法」の設計に基づき、検証ツールの開発を行い、ハードウェアトロイ回路例を公開しているTrust-Hub掲載の既知ハードウェアトロイを正しく検知できること、さらに同社設計の実製品に適用して誤検知の無いことを確認しました。「ハードウェアトロイ検出手法」の社会実装としては初の事例となります。

従来LSI回路設計の現場では、外部に設計を委託した回路や他社製のIPに「悪意を持つ回路」が組み込まれていた場合、これを阻止する手段がありませんでした。今回開発したハードウェアトロイの検証ツールは、このセキュリティリスクを効率的に排除するもので、より安全なLSI回路設計を可能とするものと期待されます。

早大と東芝情報システムは今回、研究成果の社会実装が一歩前進したことを受けて、今後「ハードウェアトロイ検出手法」の更なる高度化に取り組む予定です。東芝情報システムは本検証ツールの商用展開に向けて準備を進めて行きます。

（３）用語解説

ハードウェアトロイ

検証IP、UVMを含む検証環境の自動生成、合成ツール向けネットリスト自動生成

パタンマッチング

ゲートネットから回路構造を解析し、ハードウェアトロイの特徴的な構造と一致させて検出する手法です。

Trust-Hub

アメリカ国立科学財団（National Science Foundation）が運営するサイトのハードウェアセキュリティ領域と信頼性領域で、技術開発をしている有志フォーラムです。

早稲田大学オープンイノベーション戦略研究機構

早大が2018年に設置。同機構は、産学連携活動により早大研究成果の社会実装を実現するイノベーションを推進し、現代社会における課題解決の加速と価値創造の拡大を目指しています。

https://www.waseda.jp/inst/oi/about

（４）論文情報

【論文①】

【論文②】

（５）特許情報

特願2014-233953、 "ハードウェアトロイの検出方法、ハードウェアトロイ の検出プログラム、およびハードウェアトロイの検出装置、" 2014.11.18出願.

https://jstore.jst.go.jp/nationalPatentDetail.html?pat_id=36205&_ssn=UC211P21S010_2

（６）研究助成（外部資金による助成を受けた研究実施の場合）

研究費名：総務省・戦略的情報通信研究開発推進事業(SCOPE)

研究課題名： 設計工程に侵入したハードウェアトロイの検出と耐ハードウェアトロイ設計技術の研究開発(H26年度～H28年度)

研究代表者名（所属機関名）：戸川望（早稲田大学）

http://www.soumu.go.jp/main_sosiki/joho_tsusin/scope/subject/s_h26.html