隔離実行と形式検証による総合的セキュリティ基盤システム

研究課題

体系的番号	JPMJCR22M3
DOI	https://doi.org/10.52926/JPMJCR22M3
研究代表者	品川高廣東京大学, 情報基盤センター, 准教授
研究期間 (年度)	2022 – 2027
概要	Society5.0を支えるシステム全体に強力なセキュリティを提供する総合的セキュリティ基盤システムを実現する。最新技術による様々な隔離実行とポイントを絞った形式検証を組み合わせ、理論的に検証された強力なセキュリティを実用的システムに適用可能にする。また、エッジからクラウドまで包括的な総合セキュリティポリシーの記述・実施により、システム全体で一貫性したセキュリティを実現可能にする。
研究領域	基礎理論とシステム基盤技術の融合によるSociety 5.0のための基盤ソフトウェアの創出