機密VM環境における機密情報の拡散追跡と証拠保全を実現する基盤ソフトウェアの研究

• Project/Area Number: 25K03119
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 60070:Information security-related
• Research Institution: Okayama University
• Principal Investigator: 山内 利宏 岡山大学, 環境生命自然科学学域, 教授 (80359942)
• Co-Investigator(Kenkyū-buntansha): 谷口 秀夫 岡山大学, 環境生命自然科学研究科, 特命教授 (70253507) ; 森山 英明 有明工業高等専門学校, 創造工学科, 准教授 (00633009) ; 佐藤 将也 岡山県立大学, 情報工学部, 准教授 (30752414) ; 葛野 弘樹 神戸大学, 工学研究科, 准教授 (30882386) ; 小林 諭 岡山大学, 環境生命自然科学学域, 助教 (40824107)
• Project Period (FY): 2025-04-01 – 2029-03-31
• Project Status: Granted (Fiscal Year 2025)
• Budget Amount: ¥18,720,000 (Direct Cost: ¥14,400,000、Indirect Cost: ¥4,320,000); Fiscal Year 2028: ¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000); Fiscal Year 2027: ¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000); Fiscal Year 2026: ¥5,070,000 (Direct Cost: ¥3,900,000、Indirect Cost: ¥1,170,000); Fiscal Year 2025: ¥5,720,000 (Direct Cost: ¥4,400,000、Indirect Cost: ¥1,320,000)
• Keywords: 機密VM / 仮想化技術 / オペレーティングシステム / セキュリティ

Outline of Research at the Start

本提案研究では，機密VM（Virtual Machine（VM，仮想計算機））に着目し，機密VM上での安全な処理の実行，情報漏えい防止，およびリモートからの監査機能を実現する手法を研究開発する．また，通常のVMを対象とした検証可能な機密情報の拡散追跡や，アプリケーションプログラム処理を監査する手法を研究開発する．