Proj
J-GLOBAL ID：202404006827608640
Research Project code：22713498
隔離実行と形式検証による総合的セキュリティ基盤システム
隔離実行と形式検証による総合的セキュリティ基盤システム
National award number：JPMJCR22M3
Study period：2022 - 2027
Organization (1)：
Principal investigator：
(
, 情報基盤センター, 准教授 )
DOI：
https://doi.org/10.52926/JPMJCR22M3
Research overview：
Society5.0を支えるシステム全体に強力なセキュリティを提供する総合的セキュリティ基盤システムを実現する。最新技術による様々な隔離実行とポイントを絞った形式検証を組み合わせ、理論的に検証された強力なセキュリティを実用的システムに適用可能にする。また、エッジからクラウドまで包括的な総合セキュリティポリシーの記述・実施により、システム全体で一貫性したセキュリティを実現可能にする。
Terms in the title (4)：
Terms in the title
Keywords automatically extracted from the title.
,
,
,
Research program：
＞
＞
Parent Research Project：
Creation of System Software for Society 5.0 by Integrating Fundamental Theories and System Platform Technologies
Organization with control over the research：
Japan Science and Technology Agency
