| 研究課題/領域番号 |
20K11733
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60040:計算機システム関連
|
|---|
| 研究機関 | 豊橋技術科学大学 |
|---|
研究代表者 |
市川 周一 豊橋技術科学大学, 工学(系)研究科(研究院), 教授 (70262855)
|
|---|
| 研究期間 (年度) |
2020-04-01 – 2023-03-31
|
| 研究課題ステータス |
交付 (2021年度)
|
| 配分額 *注記 |
4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円)
2022年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2021年度: 1,820千円 (直接経費: 1,400千円、間接経費: 420千円)
2020年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
|
|---|
| キーワード | プログラマブルロジック(PL) / 動的部分再構成(DPR) / 難読化 / 乱数生成 / 再構成可能論理 / FPGA / 組込みシステム |
|---|
| 研究開始時の研究の概要 |
制御システムや組込みシステムには貴重な知的財産が含まれている．ソフトウェアは複製や解析が容易であるため，ソフトウェアの一部を論理回路化して隠蔽することにより，知的財産を保護することができる．近年普及した，CPUにプログラマブル論理（PL）が付加されたシステムでは，ソフトウェアの柔軟性を保ちつつ知財を保護できる．本研究の目的は，(1)組込み・制御ソフトウェアをCPU＋PL構成上で実装し動作させる方法を確立すること，(2)実装コストを含めた定量指標により，PL部に実装する部分を自動で選択すること，(3)知財保護のため，攻撃者による解析や剽窃を防ぐ技術を導入すること，である．
|
| 研究実績の概要 |
本研究の目的は，(1) 組込み・制御ソフトウェアをCPU＋PL構成上で実装し動作させる方法を確立すること，(2) 実装コストを含めた定量指標によりPL部に実装する部分を自動で選択すること，(3) 知財保護のため攻撃者による解析や剽窃を防ぐ技術を導入すること，の3点である．
目的(1)については昨年度学術論文１件が掲載されたので，本年度は目的(2)と(3)にウエイトを置いて研究を進めた．
目的(2)については，2021年度に研究会発表1件を行った（岩原ら2022）．この発表では，高位合成可能なソフトプロセッサに専用命令を追加する方法を検討し，実装・評価を行っている．目的(2)は「CPU+PL構成においてPL部に実装する処理を選択する」ことがテーマであるが，これは「ソフトプロセッサに専用命令を実装する際の処理の選択方法」と技術的共通点を持っている．またPLに実装して処理を隠蔽することと，ソフトプロセッサの専用命令として処理を隠蔽することは，目的(3) 知財保護という意味でも共通の効果を持つ．なお，本発表内容を拡充したものは学術論文誌に投稿され，現在査読中である．
その他，2021年度は組込みプロセッサPSoCにおける真性乱数(True Random Number)生成回路の実装法を述べた学術論文が1件出版された（松岡ら2021）．また実質的に予測不能な乱数(Unpredictable Random Number)の生成法に関する研究発表を1件行った（千葉・市川2022）．これらの研究は，セキュリティ応用に必須の乱数生成器について扱っている．乱数を利用した知財保護方式に適用することを期して，研究を進めている．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
2020～21年度に学術論文3本と国際会議1本が発表済で，その意味では概ね順調に研究が進んでいるといえる．しかしながら2020～21年度はコロナウイルス流行により大学での研究活動が制約を受けたため，研究協力者（指導学生）の作業が期待通りに進んだとはいえない状況である．状況に適応しつつ研究に邁進した結果，平常の研究進捗に戻りつつあるが，これまでの遅れを挽回するには至っていない．
研究目的(1)については，Zync-7000における実装と評価が行われ，結果が論文として発表済である．そこでコロナ禍の研究環境も考慮し，目的(1)の優先順位を少し下げて，その分の人員と時間を目的(2)(3)に振り向けて研究を加速した．
その結果，応用ソフトウェアの一部を高位合成してプロセッサ内部に（専用回路・専用命令として）実装する研究が一定の進捗を達成し，研究会で発表，さらに学術論文として投稿することができた．またこれまでの研究成果を踏まえて，本手法をRISC-Vアーキテクチャのソフトコアプロセッサに実装する方法について検討を行った．その成果は電子情報通信学会総合大会で発表した（坂東・市川2022）．
研究目的(3)については，研究環境を更新するための基礎的検討を行った．これまでの研究では高位合成にオープンソースのLegUp 4.0を用いてきたが，LegUpは商用化を経てMicroChip Technologyに買収され（2020年10月），今後の研究利用が難しくなった．そのため，ハードウェア難読化の処理手順を再構築する必要に迫られている．2021年度は幾つかの高位合成システムを試用・評価するとともに，より良いハードウェア難読化処理手順を模索した．その成果は電子情報通信学会総合大会で発表した（小倉・市川2022）．
|
| 今後の研究の推進方策 |
研究目的(1)については，一応実装評価まで進んでいるが，FPGAの世代更新は速いため新基盤・新品種での実装評価を検討したい．これにより研究の競争力と実用性が向上することが期待される．
研究目的(2)については，2021年度に引き続き，専用プロセッサの高位合成の研究を推進し，学術論文として仕上げたい．さらに本研究の評価基盤を利用して，研究目的(2)の「定量評価」を推進し，隠蔽する部分の「自動選択」について研究をすすめたい．本研究の評価基盤についても，これまで用いていた自作のMIPSソフトコアからオープンソースRISC-Vコアへの更新を検討中である．2022年度も評価基盤の刷新作業を続けてゆく．
研究目的(3)については，2020年度の修士論文（山田2021）を学術論文として投稿したい．ただし進捗状況欄にも述べた通り，ハードウェア難読化の処理手順を再構築する必要があるため，2022年度も引き続きその作業を鋭意進めてゆきたい．具体的には，Bambu HLSかVitis HLSとoLLVMを接続して難読化論理回路を生成する手法を確立したい．
2020年度には，ハードウェアIP保護手法の一つであるLogic Lockingについて，試験的評価を行った．2022年度は，目的(3)の難読化と並行してLogic Lockingについても研究を進めてゆく．またそれに関連してPUF (Physically Unclonable Function)やRNG (Random Number Generator)についても研究を続ける．
|
