| 研究課題/領域番号 |
19H04109
|
|---|
| 研究機関 | 岡山大学 |
|---|
研究代表者 |
山内 利宏 岡山大学, 自然科学研究科, 准教授 (80359942)
|
|---|
| 研究分担者 |
谷口 秀夫 岡山大学, 自然科学研究科, 教授 (70253507)
森山 英明 有明工業高等専門学校, 創造工学科, 准教授 (00633009)
佐藤 将也 岡山大学, 自然科学研究科, 助教 (30752414)
|
|---|
| 研究期間 (年度) |
2019-04-01 – 2023-03-31
|
| キーワード | オペレーティングシステム / 仮想化技術 / セキュリティ / OS脆弱性 / 耐攻撃性 |
|---|
| 研究実績の概要 |
（研究１）OSカーネルへの脆弱性攻撃の無効化とセキュリティ機構の攻撃耐性向上の研究について，（ステップ1-1）カーネル空間を監視するセキュリティ機構を，カーネルの仮想記憶空間とは別の空間に配置し，監視する手法を実現し，セキュリティ機構への攻撃を困難化する手法を実現した．（ステップ1-2）OSの特権情報をシステムコール呼び出し時に保存し，システムコール実行後に不正な変更がないかを監視する手法で，保存する権限情報をARM環境のセキュアワールドに保存する手法を実現した．（ステップ1-3）ARM-64環境においてセキュリティ機構をTrustZoneに実現し，保護する手法を実現し評価した．
（研究２）VMMによるゲストOSのセキュア化と回避困難化の研究について（ステップ2-1）カーネル空間のコードやデータを排他的に保護する機構を実現し，データだけでなく，脆弱性を含むことがあるコードも保護することを実現した．
（ステップ2-2）デバッグレジスタの読み込み処理と書き込み処理を隠蔽する手法を提案し，提案手法がゲストOSを監視していることを困難にする手法を実現した．
（研究３）カーネルの仮想記憶空間の分離によるセキュアな実行機構の研究について，（ステップ3-1）Linuxの仮想記憶空間のメモリマップと実装方法を調査し，仮想記憶空間上のカーネルのデータでどのデータをプロセス毎に分離できるか検討した．また，プロセス毎に排他的に利用するメモリ領域を実現する仮想記憶空間の管理手法を実現し，評価により，有効性を示した．
（ステップ3-2）セキュリティ機構を別の仮想記憶空間で保護する機構を実現し，有効性を示した．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
計画した各項目において，順調に成果を発表できたため．
|
| 今後の研究の推進方策 |
2年目までの調査結果や研究成果をもとに，さらに研究を推進する．
|
