基盤ソフトウェア/セキュリティ学研究室（山内研究室）

学部：岡山大学 工学部 工学科 情報・電気・数理データサイエンス系 情報工学コース
　　　岡山大学 工学部 工学科 情報工学先進コース（6年間一貫教育）
　　　　　学部生向けセキュリティ教育プログラム：enPiT2-Security Basic SecCapコース
博士前期課程：岡山大学 大学院環境生命自然科学研究科 環境生命自然科学専攻 数理情報科学学位プログラム 計算機科学コース 計算機工学分野 [入試情報]
　　　　　　　特別コース：WAAP特別コース（ホワイトハッカー育成特別コース）
博士後期課程：岡山大学 大学院環境生命自然科学研究科 環境生命自然科学専攻 先進理工科学学位プログラム 計算機科学コース 計算機工学分野 [入試情報]

研究課題

山内研究室(基盤ソフトウェア/セキュリティ学研究室)では，基盤ソフトウェアであるオペレーティングシステム(OS)や仮想マシンモニタ(VMM)を中心に，新しいOSの構成法や機能，およびOS・モバイル・IoTのセキュリティ技術の研究を行っています．
新しいOSの研究として，将来のOSに必要となる機能の研究を行っており独自機能を持つオペレーティングシステム Tenderを研究開発しています．
また，セキュリティの研究として，特権昇格攻撃を防止するOS機能，機密情報の漏洩を防止する機能，マルウェアの検知や分析，スマートフォンのWebアクセスの安全性を向上させる手法，およびIoT機器のセキュリティを向上させる基盤ソフトウェアなどの研究を行っています．

• 将来必要となるOS機能や独自OSの研究開発
  将来のOSに必要となる機能や構造の技術確立を目指しています．
  主な研究プロジェクト
  
  • 分散指向永続オペレーティングシステム Tenderを開発
    
  • AnTオペレーティングシステムの開発
  • プログラム実行速度の調整制御機構の研究
    

• 基盤ソフトウェア，モバイル，IoT，応用プログラムのセキュリティ技術に関する研究
  これまでに，OSやVMMなどのシステムソフトウェアのセキュリティ技術，機密情報の拡散追跡機能，スマートフォン(Android)のセキュリティ，脆弱性を利用した攻撃の防止手法，マルウェア検知・解析，デジタルフォレンジック，セキュアOSの安全性向上，侵入検知技術，ソフトウェア難読化，迷惑メール対策などに関する研究を行っています．
  WAAP特別コース（ホワイトハッカー育成特別コース）への登録やWAAPコースの演習を受講することも可能です．
  主な研究プロジェクト
  
  • 脆弱性と不正機能検知によるサプライチェーンセキュリティのリスク評価手法の研究開発 （課題の詳細）（JST, K Program）
  • 機器毎のソフトウェア構成変更による攻撃難化と攻撃耐性を持つ基盤ソフトウェアの研究（科学研究費補助金基盤研究(B)）
  • 攻撃耐性を持つ基盤ソフトウェア構築法の研究（科学研究費補助金基盤研究(B)）
  • IoT機器の実行環境の隔離を実現するIoT基盤ソフトウェアの構築（JSTさきがけ受託研究） [研究紹介ページ]
  • Web媒介型攻撃対策技術の実用化に向けた研究開発(WarpDrive)
    

構成員

教員

山内 利宏 教授

非常勤研究員

三宅 貴義， 吉元 亮太

研究補助員

杉山 智子，永池 尚美，平井 利恵

博士後期課程2年（D2）

島本 裕大

博士後期課程1年（D1）

金城 豪志， 安田 誠崇

博士前期課程2年（M2）

兼松 智也， 河田 悠翔， 谷 知哉， 中山 恭兵， 矢野 史子

博士前期課程1年（M1）

乾 朱来， 高尾 哲平， 高橋 幸汰， 中山 海， 西尾 孔， 渕 佑平， Jiratchaya Phinyodom

学部4年（B4）

河田 修佑， 斉藤 大翔， 澤 陸斗， 志摩 真滉， 高野 広大

関係の深い先生方

谷口 秀夫 名誉教授

乃村 能成 准教授

森山 英明 准教授(有明工業高等専門学校)

佐藤 将也 教授(岡山県立大学)

修了生，卒業生一覧

発表論文

学生の表彰一覧

研究室について（学内のみ）

博士論文，修士論文，特別（卒業）研究題目一覧（学内のみ）

アクセス情報

岡山大学 工学部 4号館　202号室(Secグループ)，107号室(Tender，AnT)