| Topics | 研究概要 | メンバー | 研究業績 |
形式検証とシステムソフトウェアの協働によるゼロトラストIoT
JST CREST研究領域：基礎理論とシステム基盤技術の融合によるSociety 5.0のための基盤ソフトウェアの創出 (S5基盤ソフト)
Topics
- 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 国立情報学研究所 アーキテクチャ科学研究系 特任研究員 |
|
青木 信雄 総合研究大学院大学 複合科学研究科情報学専攻 大学院生（博士課程） |
京大理論グループ
|
主たる共同研究者 五十嵐 淳 京都大学 大学院情報学研究科 教授 |
|
末永 幸平 京都大学 大学院情報学研究科 准教授 |
|
和賀 正樹 京都大学 大学院情報学研究科 助教 |
|
稲葉 皓信 京都大学 大学院情報学研究科 通信情報システム専攻 大学院生 (修士課程) |
|
SHI, Zhen 京都大学 大学院情報学研究科 通信情報システム専攻 大学院生 (修士課程) |
|
阪口 裕飛 京都大学 大学院情報学研究科 通信情報システム専攻 大学院生 (修士課程) |
NII理論グループ
|
主たる共同研究者 関山 太朗 国立情報学研究所 アーキテクチャ科学研究系 助教 |
|
石川 冬樹 国立情報学研究所 アーキテクチャ科学研究系 准教授 |
|
勝股 審也 国立情報学研究所 アーキテクチャ科学研究系 特任准教授 |
|
蓮尾 一郎 国立情報学研究所 アーキテクチャ科学研究系 准教授 |
|
福田 健介 国立情報学研究所 アーキテクチャ科学研究系 准教授 |
|
中林 美郷 総合研究大学院大学 複合科学研究科情報学専攻 大学院生（博士課程） |
|
椎葉 瑠星 総合研究大学院大学 複合科学研究科情報学専攻 大学院生（博士課程） |
|
田口 研治(〜2022年3月) 国立情報学研究所 アーキテクチャ科学研究系 特任研究員 |
|
BRUN, Lelio 国立情報学研究所 アーキテクチャ科学研究系 特任研究員 |
|
藤浪 大弥 総合研究大学院大学 複合科学研究科情報学専攻 大学院生（博士課程） |
TIDシステムソフトウェアグループ
|
主たる共同研究者 松井 俊浩 東京情報デザイン専門職大学 情報デザイン学科 教授 |
|
小野 泰司 東京情報デザイン専門職大学 情報デザイン学科 特任助手 |
|
若月 里香 東京情報デザイン専門職大学 情報デザイン学科 特任助手 |
IISECシステムソフトウェアグループ
|
主たる共同研究者 須崎 有康 情報セキュリティ大学院大学 情報セキュリティ研究科 教授 |
|
小野 泰司 情報セキュリティ大学院大学 情報セキュリティ研究科 特任助手 |
|
若月 里香 情報セキュリティ大学院大学 情報セキュリティ研究科 特任助手 |
研究業績
- [Exhibition] Zero Trust based IoT Security, SC23 Exhibition Booth #256, Nov. 2023． Link
- [Talk] 形式検証によるセキュアなIoTシステムの実現に向けて
関山 太朗.
コンピュータセキュリティシンポジウムCSS2023 形式検証とセキュリティワークショップ, Nov. 2023. - [Talk] ゼロトラストIoTに向けたIoT機器のOTAソフトウェアアップデートフレームワークの検討
青木 信雄, 竹房 あつ子, 石川 裕, 小野 泰司, 坂根 栄作, 合田 憲人
コンピュータセキュリティシンポジウムCSS2023論文集 2F3-4, pp. 652-659, Oct. 2023. - [Paper] Automated Security Analysis for Real-World IoT Devices.
Lélio Brun, Ichiro Hasuo, Yasushi Ono and Taro Sekiyama.
Proc. HASP ‘23: Hardware and Architectural Support for Security and Privacy, pp 29-37, Oct. 2023. Link - [Talk] Rabbit: a modeling language for verifying data-flow security.
稲葉 皓信, 関山 太朗, 五十嵐 淳, 石川 裕
情報処理学会研究報告 PRO, Aug. 2023. - [Talk] OP-TEEを用いたIoTにおける安全な階層鍵管理機構の検討.
竹房 あつ子, 小野 泰司, 石川 裕.
情報処理学会研究報告 2023-OS-160, No. 11, pp. 1-12, Aug. 2023. - [Poster] ゼロトラストIoTに基づくIoT機器のOTAソフトウェア更新実現にむけて.
青木 信雄, 竹房 あつ子, 石川 裕, 小野 泰司, 坂根 栄作, 合田 憲人.
cross-disciplinary workshop on computing Systems, Infrastructures, and programminG 2023 (xSIG2023), Aug. 2023. - [Paper] A Linux Audit and MQTT- based Security Monitoring Framework.
Jie Yin, Yutaka Ishikawa, Atsuko Takefusa.
Proc. IEEE COMPSAC 2023, pp. 648-657, Jun. 2023. - [Paper] Temporal Verification with Answer-Effect Modification: Dependent Temporal Type- and-Effect System with Delimited Continuations.
Taro Sekiyama, Unno Hiroshi.
Proceedings of the ACM on Programming Languages (POPL), 7, POPL, pp. 2079-2110, Apr. 2023. Link - [Poster] Society 5.0のためのゼロトラストIoT. NIIオープンハウスポスター, 2023年6月.
-
[Paper] IoTアプリ構築支援のためのSINETStream Androidライブラリおよびセンサ情報収集アプリの開発.
竹房 あつ子, 小林 久美子, 北川 直哉, 孫 静涛, 吉田 浩, 合田 憲人.
情報処理学会論文誌デジタルプラクティス(TDP), 4, pp. 110-121, 2023年4月. - [Poster] Certification Mechanism to Assure Software Reliability with Digital Signature.
Sayako Shimizu, Eisaku Sakane, Takeshi Nishimura, Kento Aida, Atsuko Takefusa.
International Symposium on Grids & Clouds (ISGC), Mar. 2023. - [Talk]形式検証とシステムソフトウェアの協働によるゼロトラストIoT.
竹房 あつ子
情報処理学会第85回全国大会 イベント企画「Society 5.0時代の 安心・安全・信頼を支える基盤ソフトウェア技術の構築」, 2023年3月. - [Talk]パスワード及びログの保存設定に着目したIoTデバイスにおけるファームウェアの安全性調査.
川島 佑介，松井 俊浩
情報処理学会第100回コンピュータセキュリティ研究会CSEC, 2023年3月. - [Talk]Building System Software for Zero Trust IoT (ZT-IoT).
Atsuko Takefusa.
Secure Device Forum 2023, Feb. 2023. (招待講演) - [Talk] (I Can’t Get No) Verification.
Atsushi Igarashi.
ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications (SPLASH), Dec. 2022. (招待講演) Link - [Paper] Development of a Secure Data Sharing Mechanism for IoT Application Systems.
Naoya Kitagawa, Atsuko Takefusa, Kento Aida.
Proc. 2022 IEEE 11th International Conference on Cloud Networking (CloudNet), pp. 131-135, Nov. 2022. Link - [Exhibition] Zero Trust based IoT Security, SC22 Exhibition Booth #4205, 2022年11月．PDF
- [Talk]Pub/Sub 通信を行うコネクテッド自動運転車の周囲で捕捉されるデジタル証拠収集機能の提案.
松本 悟、松井 俊浩.
コンピュータセキュリティシンポジウムCSS2022, 2022年10月. - [Talk] ゼロトラストIoT (ZT-IoT)に向けたシステムソフトウェアの研究.
竹房 あつ子.
電子情報通信学会ソサイエティ大会, BI-4-1, 2022年9月. (招待講演) Link - [Talk] 信頼の基点に基づくIoTデバイスの通信.
松井 俊浩, 小野 泰司.
電子情報通信学会ソサイエティ大会, BI-4-2, 2022年9月. (招待講演) Link - [Paper] Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption.
Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga.
Lecture Notes in Computer Science (Computer Aided Verification), 13371, pp. 447-468, Aug. 2022.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月.