2023 Fiscal Year Annual Research Report
機器毎のソフトウェア構成変更による攻撃難化と攻撃耐性を持つ基盤ソフトウェアの研究
| Project/Area Number |
22H03592
|
|---|
| Allocation Type | Single-year Grants |
|---|
| Research Institution | Okayama University |
|---|
Principal Investigator |
山内 利宏 岡山大学, 環境生命自然科学学域, 教授 (80359942)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
谷口 秀夫 岡山大学, 環境生命自然科学研究科, 特命教授 (70253507)
森山 英明 有明工業高等専門学校, 創造工学科, 准教授 (00633009)
佐藤 将也 岡山県立大学, 情報工学部, 准教授 (30752414)
葛野 弘樹 神戸大学, 工学研究科, 助教 (30882386)
小林 諭 岡山大学, 環境生命自然科学学域, 助教 (40824107)
|
|---|
| Project Period (FY) |
2022-04-01 – 2026-03-31
|
| Keywords | オペレーティングシステム / セキュリティ / 仮想化技術 / 基盤ソフトウェア |
|---|
| Outline of Annual Research Achievements |
本年度は，研究計画に基づき，3つの課題について以下の研究を行った．
（研究１）機器毎のOSやAPのカスタム化による攻撃難化手法の研究については，実行ファイルのオブジェクトファイルをリンクする順番を変更方式に加え，オブジェクト内の関数の順序を変更する方式を提案した．また，実行ファイルに提案方式を適用し，基本的な評価を行い，有効性を示した．また，Linuxカーネルにおける脆弱性修正状況の調査を行った．この結果を基に脆弱性対応における課題を考察した．さらに，Linuxを搭載したIoT機器におけるマルウェアの攻撃手法の分析や，セキュアOSを適用したときの有効性を評価した．
（研究２）VMMによる機密情報拡散追跡と監査支援の研究については，同一VMM上のVM間での情報を伝搬させる処理（sendfileとspliceシステムコール）への対処方式について実現し，評価を行い，有効性を示した．さらに，前年度に提案したVMMからVMのシステムコールをフックする箇所を自動的に推定する手法を，Linux以外のOSに適用する手法を提案し，有効性を示した．また，ArmのTrustZoneを利用するOP-TEEにおけるセキュアワールドへの攻撃方法を調査し，バッファオーバフロー脆弱性の影響を緩和する手法を提案した．
（研究３）OSの仮想記憶空間の隔離による攻撃耐性の向上手法の研究については，Linuxカーネルの脆弱性を悪用する攻撃により実行されるカーネル関数を特定する手法を実現した．また，Linuxカーネル用の仮想記憶空間上のカーネルデータを保護するために，カーネルデータの動的配置手法や読み書き制限ページを用いた手法を提案し，実装を行っている．また，Linuxカーネルのメモリをページ単位でアクセス制御する手法を提案し，書き込み権限を制御することで書き込みを防止する手法を実現し，評価により有効性を示した．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
3つの研究課題ともに順調に進んでいるため．
|
| Strategy for Future Research Activity |
研究計画の通り，遂行する．
|
