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

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