研課題
J-GLOBAL ID：202204002742558058
研究課題コード：21470718
形式検証とシステムソフトウェアの協働によるゼロトラストIoT
体系的課題番号：JPMJCR21M3
実施期間：2021 - 2026
実施機関 (1件)：
研究代表者：
(
, 国立情報学研究所, 教授 )
DOI：
https://doi.org/10.52926/JPMJCR21M3
研究概要：
形式検証とシステムソフトウェアの融合により、ゼロトラスト(ZT)の概念を踏襲した安全なIoTシステムを実現します。理論研究では、IoTのトラストチェーンの正当性に数学的証明を与え、動的検証の併用で未知の脅威にも対応します。システムソフト研究では理論的成果と連係して実行隔離・自動検知・自動対処機構を開発し,ZT-IoTを実証します。アカウンタビリティを保証することでIoTの社会受容を促進します。
タイトルに関連する用語 (4件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した研究課題タイトルの用語をもとにしたキーワードです
,
,
,
研究制度：
＞
＞
上位研究課題：
基礎理論とシステム基盤技術の融合によるSociety 5.0のための基盤ソフトウェアの創出
研究所管機関：
前のページに戻る
