研課題
J-GLOBAL ID：202404006827608640
研究課題コード：22713498
隔離実行と形式検証による総合的セキュリティ基盤システム
体系的課題番号：JPMJCR22M3
実施期間：2022 - 2027
実施機関 (1件)：
研究代表者：
(
, 情報基盤センター, 准教授 )
DOI：
https://doi.org/10.52926/JPMJCR22M3
研究概要：
Society5.0を支えるシステム全体に強力なセキュリティを提供する総合的セキュリティ基盤システムを実現する。最新技術による様々な隔離実行とポイントを絞った形式検証を組み合わせ、理論的に検証された強力なセキュリティを実用的システムに適用可能にする。また、エッジからクラウドまで包括的な総合セキュリティポリシーの記述・実施により、システム全体で一貫性したセキュリティを実現可能にする。
タイトルに関連する用語 (4件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した研究課題タイトルの用語をもとにしたキーワードです
,
,
,
研究制度：
＞
＞
上位研究課題：
基礎理論とシステム基盤技術の融合によるSociety 5.0のための基盤ソフトウェアの創出
研究所管機関：
前のページに戻る
