| Topics | 研究概要 | メンバー | 研究業績 |
JST CREST研究領域：基礎理論とシステム基盤技術の融合によるSociety 5.0のための基盤ソフトウェアの創出 (S5基盤ソフト)
- 2022/11/01 11/14-17にSC22の展示会場(Booth# 4205)で本ブロジェクトの展示発表を行います． PDF
- 2021/09/21 2021年度 戦略的創造研究推進事業 (CREST)，研究領域「基礎理論とシステム基盤技術の融合によるSociety 5.0のための基盤ソフトウェアの創出 (S5基盤ソフト)」に採択されました．
形式検証とシステムソフトウェアの融合により、ゼロトラスト(ZT)の概念を踏襲した安全なIoTシステムを実現します。理論研究では、IoTのトラストチェーンの正当性に数学的証明を与え、動的検証の併用で未知の脅威にも対応します。システムソフト研究では理論的成果と連係して実行隔離・自動検知・自動対処機構を開発し，ZT-IoTを実証します。アカウンタビリティを保証することでIoTの社会受容を促進します。
NIIシステムソフトウェアグループ
|
研究代表者 竹房 あつ子 国立情報学研究所 アーキテクチャ科学研究系 教授 |
|
石川 裕 国立情報学研究所 アーキテクチャ科学研究系 教授 |
|
合田 憲人 国立情報学研究所 アーキテクチャ科学研究系 教授 |
|
清水 さや子 国立情報学研究所 アーキテクチャ科学研究系 助教 |
|
北川 直哉 国立情報学研究所 学術ネットワーク研究開発センター 特任准教授 |
|
小林 久美子 国立情報学研究所 クラウド基盤研究開発センター 特任研究員 |
|
坂根 栄作 国立情報学研究所 アーキテクチャ科学研究系 准教授 |
|
西村 健 国立情報学研究所 学術基盤推進部 特任研究員 |
|
YIN, Jie 国立情報学研究所 アーキテクチャ科学研究系 特任研究員 |
|
青木 信雄 国立情報学研究所 アーキテクチャ科学研究系 RA |
京大理論グループ
|
主たる共同研究者 五十嵐 淳 京都大学 大学院情報学研究科 教授 |
|
末永 幸平 京都大学 大学院情報学研究科 准教授 |
|
和賀 正樹 京都大学 大学院情報学研究科 助教 |
|
稲葉 皓信 京都大学 大学院情報学研究科 通信情報システム専攻 大学院生 (修士課程) |
|
SHI, Zhen 京都大学 大学院情報学研究科 通信情報システム専攻 大学院生 (修士課程) |
|
阪口 裕飛 京都大学 大学院情報学研究科 通信情報システム専攻 大学院生 (修士課程) |
NII理論グループ
|
主たる共同研究者 関山 太朗 国立情報学研究所 アーキテクチャ科学研究系 助教 |
|
石川 冬樹 国立情報学研究所 アーキテクチャ科学研究系 准教授 |
|
勝股 審也 国立情報学研究所 アーキテクチャ科学研究系 特任准教授 |
|
蓮尾 一郎 国立情報学研究所 アーキテクチャ科学研究系 准教授 |
|
福田 健介 国立情報学研究所 アーキテクチャ科学研究系 准教授 |
|
中林 美郷 総合研究大学院大学 複合科学研究科情報学専攻 大学院生（博士課程） |
|
椎葉 瑠星 総合研究大学院大学 複合科学研究科情報学専攻 大学院生（博士課程） |
|
田口 研治(〜2022年3月) 国立情報学研究所 アーキテクチャ科学研究系 特任研究員 |
|
BRUN, Lelio 国立情報学研究所 アーキテクチャ科学研究系 特任研究員 |
|
藤浪 大弥 総合研究大学院大学 複合科学研究科情報学専攻 大学院生（博士課程） |
IISECシステムソフトウェアグループ
|
主たる共同研究者 松井 俊浩 情報セキュリティ大学院大学 情報セキュリティ研究科 教授 |
|
須崎 有康 情報セキュリティ大学院大学 情報セキュリティ研究科 教授 |
|
若月 里香 情報セキュリティ大学院大学 情報セキュリティ研究科 特任助手 |
|
小野 泰司 情報セキュリティ大学院大学 情報セキュリティ研究科 特任助手 |
-
[Exhibition] Zero Trust based IoT Security, SC22 Exhibition Booth #4205, 2022年11月．PDF
-
[Paper] Development of a Secure Data Sharing Mechanism for IoT Application Systems.
Naoya Kitagawa, Atsuko Takefusa and Kento Aida, IEEE International Conference on Cloud Networking (CloudNet), 2022年11月. -
[Talk] ゼロトラストIoT (ZT-IoT)に向けたシステムソフトウェアの研究.
竹房 あつ子, 電子情報通信学会ソサイエティ大会, BI-4-1, 2022年9月. (招待講演) Link -
[Talk] 信頼の基点に基づくIoTデバイスの通信.
松井俊浩, 小野泰司, 電子情報通信学会ソサイエティ大会, BI-4-2, 2022年9月. (招待講演) Link -
[Technical Report] Pub/Sub通信モデルを用いたセキュリティ監視機構の検討.
石川 裕, Yin Jie, 竹房 あつ子, 松井 俊浩, 小野 泰司, 合田 憲人.
情報処理学会研究報告, vol. 2022-OS-156, no. 2, pp. 1-6, 2022年7月. Link, Slide -
[Poster] Society 5.0のためのゼロトラストIoT. NIIオープンハウスポスター. 2022年6月. PDF
-
[Technical Report] ZT-IoT: ゼロトラストIoTのためのシステムソフトウェア構築に向けて．
竹房 あつ子, 五十嵐 淳, 関山 太郎, 松井 俊浩, 小野 泰司, 福田 健介, 蓮尾 一郎, 合田 憲人, 石川 裕，
情報処理学会研究報告, vol. 2022-OS-154, no. 3, pp. 1-16, 2022年3月. Link, Slide -
[Poster] ZT-IoT: ゼロトラストIoTのためのシステムソフトウェアの検討．
竹房 あつ子, 五十嵐 淳, 関山 太郎, 松井 俊浩, 小野 泰司, 福田 健介, 蓮尾 一郎, 合田 憲人, 石川 裕，
情報処理学会 第154回OS研究発表会, 2022年3月. -
[Talk] 形式検証とシステムソフトウェアの協働によるゼロトラストIoT.
竹房あつ子, CREST/さきがけセッション, ComSys 2021, 2021年12月.