1. 前のページに戻る

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

研究課題

戦略的な研究開発の推進 戦略的創造研究推進事業 CREST

体系的番号 JPMJCR22M3
DOI https://doi.org/10.52926/JPMJCR22M3

研究代表者

品川 高廣  東京大学, 情報基盤センター, 准教授

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

URL: 

JSTプロジェクトデータベース掲載開始日: 2023-12-27   JSTプロジェクトデータベース最終更新日: 2025-03-26  

サービス概要 よくある質問 利用規約

Powered by NII jst