データベースバックエンドプログラムのための分離ポリシー

データベースセキュリティとインフォメーションフローセキュリティの融合により、データベースバックエンドプログラムに対する分離ポリシーを形式的にモデル化し、静的に強制することができる。