研究概要

FrieOS Project
FrieOS Project
Society 5.0をサポートするために、システム全体に強固なセキュリティを提供する包括的なセキュリティ基盤としてのオペレーティングシステムを実現する。

最先端のハードウェア技術やシステムソフトウェア技術によって実現される隔離実行環境を、セキュリティにフォーカスした形式手法によって効率的に強化することで、理論的に検証されたセキュリティの実用システムへの適用を容易にする。

また、プログラミング言語理論のサポートにより、エッジ(末端)からクラウド(中心)まで包括的なセキュリティポリシーを適用することで、システム全体の一貫したセキュリティを実現する。

研究体制

品川グループ

Avatar

Peter Pietzuch

Imperial College London

Avatar

Lluis Vilanova

Imperial College London

住井グループ

Avatar

住井 英二郎

東北大学

Avatar

織田 幸弘

東北大学

広渕グループ

Avatar

広渕 崇宏

産業技術総合研究所

深井 貴明

産業技術総合研究所

Ben Ahmed Akram

産業技術総合研究所

高野 了成

産業技術総合研究所

論文