◆概 要
国立大学法人岡山大学（本部：岡山市北区、学長：那須保友）学術研究院環境生命自然科学学域（工）計算機科学講座の山内利宏教授が、国立研究開発法人科学技術振興機構（JST）経済安全保障重要技術育成プログラム（K Program）の研究開発構想「サプライチェーンセキュリティに関する不正機能検証技術の確立（ファームウェア・ソフトウェア）」に採択されました。
本研究開発構想は、ICT機器・システムを構成するファームウェア・ソフトウェアにおけるバックドアなどの不正機能、不正ロジック、無断通信が仕込まれていないかを検証する技術の確保に資する「不正機能検証技術の確立（ファームウェア・ソフトウェア）」において、我が国の優先性獲得も念頭に自律性確保を目指すものです。
山内教授は「ソフトウェア構成の情報を活用した不正機能の検証手法」の公募区分において、「脆弱性と不正機能検知によるサプライチェーンセキュリティのリスク評価手法の研究開発」の研究開発課題名のもと申請し、採択された2件に選ばれ、令和6～11年度までの5年間、研究代表者として研究チームを率いることになりました。
今回の採択を受けて山内教授は、「ファームウェアに含まれるバイナリコードなどの脆弱（ぜいじゃく）性などのリスクを評価する既存ツールはその精度が高くなく、その内部の仕組みは明らかではありません。このため、本研究課題では、ファームウェアに含まれるバイナリコードや、そのソースコードを対象として、攻撃に悪用される可能性のある脆弱性や不正機能を高い精度で検知する手法を研究開発します。また、研究開発した成果は、ツール化し、既存ツールと定量的に評価し、有効性を検証可能にすることを目指します。ご協力いただいた多くの方々に深くお礼申し上げます」とコメント。5年間の研究活動に意欲を見せました。
岡山大学では研究分野における「最重点研究分野」を定めており、そのひとつに 「IT・エレクトロニクス分野」があります。また本学が採択を受けている文部科学省「地域中核・特色ある研究大学強化促進事業（J-PEAKS）」（実施主体：日本学術振興会）でも社会変革を起こし、IT・エレクトロニクスを含めたウェルビーイングの向上などを戦略的に進めています。
大学院環境生命自然科学研究科では、授業科目の先取り履修制度と早期修了制度を利用して、博士前期課程及び博士後期課程を通じて最短3年で博士の学位取得を可能とするWAAP特別コースを設置し、ホワイトハッカーを育成しています。工学部では、情報・電気・数理データサイエンス系の教員を中心に実践的なセキュリティ人材養成コースであるenPiT2-Security Basic SecCapコースを運営し、サイバーセキュリティ分野の人材育成を行っています。
どうぞ引き続き、山内教授と地域中核・特色ある研究大学：岡山大学の取り組みにご期待ください。
本情報は、2024年8月6日 に岡山大学から公開されました。
◆参 考
・経済安全保障重要技術育成プログラム（K Program）
https://www.jst.go.jp/k-program/
・サプライチェーンセキュリティに関する不正機能検証技術の確立（ファームウェア・ソフトウェア）
https://www.jst.go.jp/k-program/program/cyber1.html
・岡山大学工学部・情報工学コース・情報工学先進コース 大学院環境生命自然科学研究科・計算機科学コース 基盤ソフトウェア/セキュリティ学研究室
https://www.swlab.cs.okayama-u.ac.jp/lab/yamauchi/index-j.html
◆参考情報
・【岡山大学】文部科学省「地域中核・特色ある研究大学強化促進事業（J-PEAKS）」に採択～地域と地球の未来を共創し、世界の革新の中核となる研究大学：岡山大学の実現を加速とともに世界に誇れる我が国の研究大学の山脈を築く～
https://prtimes.jp/main/html/rd/p/000001935.000072793.html
・【岡山大学】「岡山大学最重点研究分野」を制定～地域と地球の未来を共創し、世界の革新に寄与する研究大学を実現するために～
https://prtimes.jp/main/html/rd/p/000001601.000072793.html
・岡山大学大学院環境生命自然科学研究科 WAAP特別コース（ホワイトハッカー育成特別コース）
https://www.elst.okayama-u.ac.jp/education/special-courses/
・岡山大学enPiT2-Security Basic SecCapコース
https://www.eng.okayama-u.ac.jp/enpit2-sec/
◆本件お問い合わせ先
岡山大学 学術研究院 環境生命自然科学学域（工） 計算機科学講座 教授 山内利宏
〒700-8530 岡山県岡山市北区津島中3-1-1 岡山大学津島キャンパス 工学部4号館
E-mail：yamauchi◎okayama-u.ac.jp
※◎を@に置き換えてください
https://www.swlab.cs.okayama-u.ac.jp/lab/yamauchi/index-j.html
＜岡山大学の産学官連携などに関するお問い合わせ先＞
岡山大学研究・イノベーション共創機構 産学官連携本部
〒700-8530 岡山県岡山市北区津島中1-1-1 岡山大学津島キャンパス 本部棟1階
TEL：
E-mail：sangaku◎okayama-u.ac.jp
※ ◎を@に置き換えて下さい
https://www.orsd.okayama-u.ac.jp/
＜岡山大学のスタートアップ・ベンチャーなどに関するお問い合わせ先＞
岡山大学研究・イノベーション共創機構 スタートアップ・ベンチャー創出本部
〒700-8530 岡山県岡山市北区津島中1-1-1 岡山大学津島キャンパス 本部棟1階
E-mail：start-up1◎adm.okayama-u.ac.jp
※ ◎を@に置き換えて下さい
https://venture.okayama-u.ac.jp/
国立大学法人岡山大学は、国連の「持続可能な開発目標（SDGs）」を支援しています。また、政府の第1回「ジャパンSDGsアワード」特別賞を受賞しています。地域中核・特色ある研究大学として共育共創を進める岡山大学にご期待ください
岡山大学 文部科学省「地域中核・特色ある研究大学強化促進事業（J-PEAKS）」に採択～地域と地球の未来を共創し、世界の革新の中核となる研究大学：岡山大学の実現を加速とともに世界に誇れる我が国の研究大学の山脈を築く～
https://prtimes.jp/main/html/rd/p/000001935.000072793.html
国立大学法人岡山大学（本部：岡山市北区、学長：那須保友）学術研究院環境生命自然科学学域（工）計算機科学講座の山内利宏教授が、国立研究開発法人科学技術振興機構（JST）経済安全保障重要技術育成プログラム（K Program）の研究開発構想「サプライチェーンセキュリティに関する不正機能検証技術の確立（ファームウェア・ソフトウェア）」に採択されました。
本研究開発構想は、ICT機器・システムを構成するファームウェア・ソフトウェアにおけるバックドアなどの不正機能、不正ロジック、無断通信が仕込まれていないかを検証する技術の確保に資する「不正機能検証技術の確立（ファームウェア・ソフトウェア）」において、我が国の優先性獲得も念頭に自律性確保を目指すものです。
山内教授は「ソフトウェア構成の情報を活用した不正機能の検証手法」の公募区分において、「脆弱性と不正機能検知によるサプライチェーンセキュリティのリスク評価手法の研究開発」の研究開発課題名のもと申請し、採択された2件に選ばれ、令和6～11年度までの5年間、研究代表者として研究チームを率いることになりました。
今回の採択を受けて山内教授は、「ファームウェアに含まれるバイナリコードなどの脆弱（ぜいじゃく）性などのリスクを評価する既存ツールはその精度が高くなく、その内部の仕組みは明らかではありません。このため、本研究課題では、ファームウェアに含まれるバイナリコードや、そのソースコードを対象として、攻撃に悪用される可能性のある脆弱性や不正機能を高い精度で検知する手法を研究開発します。また、研究開発した成果は、ツール化し、既存ツールと定量的に評価し、有効性を検証可能にすることを目指します。ご協力いただいた多くの方々に深くお礼申し上げます」とコメント。5年間の研究活動に意欲を見せました。
岡山大学では研究分野における「最重点研究分野」を定めており、そのひとつに 「IT・エレクトロニクス分野」があります。また本学が採択を受けている文部科学省「地域中核・特色ある研究大学強化促進事業（J-PEAKS）」（実施主体：日本学術振興会）でも社会変革を起こし、IT・エレクトロニクスを含めたウェルビーイングの向上などを戦略的に進めています。
大学院環境生命自然科学研究科では、授業科目の先取り履修制度と早期修了制度を利用して、博士前期課程及び博士後期課程を通じて最短3年で博士の学位取得を可能とするWAAP特別コースを設置し、ホワイトハッカーを育成しています。工学部では、情報・電気・数理データサイエンス系の教員を中心に実践的なセキュリティ人材養成コースであるenPiT2-Security Basic SecCapコースを運営し、サイバーセキュリティ分野の人材育成を行っています。
どうぞ引き続き、山内教授と地域中核・特色ある研究大学：岡山大学の取り組みにご期待ください。
本情報は、2024年8月6日 に岡山大学から公開されました。
◆参 考
・経済安全保障重要技術育成プログラム（K Program）
https://www.jst.go.jp/k-program/
・サプライチェーンセキュリティに関する不正機能検証技術の確立（ファームウェア・ソフトウェア）
https://www.jst.go.jp/k-program/program/cyber1.html
・岡山大学工学部・情報工学コース・情報工学先進コース 大学院環境生命自然科学研究科・計算機科学コース 基盤ソフトウェア/セキュリティ学研究室
https://www.swlab.cs.okayama-u.ac.jp/lab/yamauchi/index-j.html
◆参考情報
・【岡山大学】文部科学省「地域中核・特色ある研究大学強化促進事業（J-PEAKS）」に採択～地域と地球の未来を共創し、世界の革新の中核となる研究大学：岡山大学の実現を加速とともに世界に誇れる我が国の研究大学の山脈を築く～
https://prtimes.jp/main/html/rd/p/000001935.000072793.html
・【岡山大学】「岡山大学最重点研究分野」を制定～地域と地球の未来を共創し、世界の革新に寄与する研究大学を実現するために～
https://prtimes.jp/main/html/rd/p/000001601.000072793.html
・岡山大学大学院環境生命自然科学研究科 WAAP特別コース（ホワイトハッカー育成特別コース）
https://www.elst.okayama-u.ac.jp/education/special-courses/
・岡山大学enPiT2-Security Basic SecCapコース
https://www.eng.okayama-u.ac.jp/enpit2-sec/
◆本件お問い合わせ先
岡山大学 学術研究院 環境生命自然科学学域（工） 計算機科学講座 教授 山内利宏
〒700-8530 岡山県岡山市北区津島中3-1-1 岡山大学津島キャンパス 工学部4号館
E-mail：yamauchi◎okayama-u.ac.jp
※◎を@に置き換えてください
https://www.swlab.cs.okayama-u.ac.jp/lab/yamauchi/index-j.html
＜岡山大学の産学官連携などに関するお問い合わせ先＞
岡山大学研究・イノベーション共創機構 産学官連携本部
〒700-8530 岡山県岡山市北区津島中1-1-1 岡山大学津島キャンパス 本部棟1階
TEL：
E-mail：sangaku◎okayama-u.ac.jp
※ ◎を@に置き換えて下さい
https://www.orsd.okayama-u.ac.jp/
＜岡山大学のスタートアップ・ベンチャーなどに関するお問い合わせ先＞
岡山大学研究・イノベーション共創機構 スタートアップ・ベンチャー創出本部
〒700-8530 岡山県岡山市北区津島中1-1-1 岡山大学津島キャンパス 本部棟1階
E-mail：start-up1◎adm.okayama-u.ac.jp
※ ◎を@に置き換えて下さい
https://venture.okayama-u.ac.jp/
国立大学法人岡山大学は、国連の「持続可能な開発目標（SDGs）」を支援しています。また、政府の第1回「ジャパンSDGsアワード」特別賞を受賞しています。地域中核・特色ある研究大学として共育共創を進める岡山大学にご期待ください
岡山大学 文部科学省「地域中核・特色ある研究大学強化促進事業（J-PEAKS）」に採択～地域と地球の未来を共創し、世界の革新の中核となる研究大学：岡山大学の実現を加速とともに世界に誇れる我が国の研究大学の山脈を築く～
https://prtimes.jp/main/html/rd/p/000001935.000072793.html