ZT-IoT

https://zt-iot.nii.ac.jp/

[English]

Topics 研究概要 メンバー 研究業績

形式検証とシステムソフトウェアの協働によるゼロトラストIoT

JST CREST研究領域:基礎理論とシステム基盤技術の融合によるSociety 5.0のための基盤ソフトウェアの創出 (S5基盤ソフト)

公募情報

Topics

研究概要

形式検証とシステムソフトウェアの融合により、ゼロトラスト(ZT)の概念を踏襲した安全なIoTシステムを実現します。理論研究では、IoTのトラストチェーンの正当性に数学的証明を与え、動的検証の併用で未知の脅威にも対応します。システムソフト研究では理論的成果と連係して実行隔離・自動検知・自動対処機構を開発し,ZT-IoTを実証します。アカウンタビリティを保証することでIoTの社会受容を促進します。

メンバー

NIIシステムソフトウェアグループ

研究代表者
竹房 あつ子
国立情報学研究所 アーキテクチャ科学研究系 教授
石川 裕
国立情報学研究所 アーキテクチャ科学研究系 教授
合田 憲人
国立情報学研究所 アーキテクチャ科学研究系 教授
清水 さや子
国立情報学研究所 アーキテクチャ科学研究系 助教
北川 直哉
国立情報学研究所 学術ネットワーク研究開発センター 特任准教授
小林 久美子
国立情報学研究所 クラウド基盤研究開発センター 特任研究員
坂根 栄作
国立情報学研究所 アーキテクチャ科学研究系 准教授
西村 健
国立情報学研究所 学術基盤推進部 特任研究員
YIN, Jie
国立情報学研究所 アーキテクチャ科学研究系 特任研究員
青木 信雄
国立情報学研究所 アーキテクチャ科学研究系 RA

京大理論グループ

主たる共同研究者
五十嵐 淳
京都大学 大学院情報学研究科 教授
末永 幸平
京都大学 大学院情報学研究科 准教授
和賀 正樹
京都大学 大学院情報学研究科 助教
稲葉 皓信
京都大学 大学院情報学研究科 通信情報システム専攻 大学院生 (修士課程)
SHI, Zhen
京都大学 大学院情報学研究科 通信情報システム専攻 大学院生 (修士課程)
阪口 裕飛
京都大学 大学院情報学研究科 通信情報システム専攻 大学院生 (修士課程)

NII理論グループ

主たる共同研究者
関山 太朗
国立情報学研究所 アーキテクチャ科学研究系 助教
石川 冬樹
国立情報学研究所 アーキテクチャ科学研究系 准教授
勝股 審也
国立情報学研究所 アーキテクチャ科学研究系 特任准教授
蓮尾 一郎
国立情報学研究所 アーキテクチャ科学研究系 准教授
福田 健介
国立情報学研究所 アーキテクチャ科学研究系 准教授
中林 美郷
総合研究大学院大学 複合科学研究科情報学専攻 大学院生(博士課程)
椎葉 瑠星
総合研究大学院大学 複合科学研究科情報学専攻 大学院生(博士課程)
田口 研治(〜2022年3月)
国立情報学研究所 アーキテクチャ科学研究系 特任研究員
BRUN, Lelio
国立情報学研究所 アーキテクチャ科学研究系 特任研究員
藤浪 大弥
総合研究大学院大学 複合科学研究科情報学専攻 大学院生(博士課程)

IISECシステムソフトウェアグループ

主たる共同研究者
松井 俊浩
情報セキュリティ大学院大学 情報セキュリティ研究科 教授
須崎 有康
情報セキュリティ大学院大学 情報セキュリティ研究科 教授
若月 里香
情報セキュリティ大学院大学 情報セキュリティ研究科 特任助手
小野 泰司
情報セキュリティ大学院大学 情報セキュリティ研究科 特任助手

研究業績