Java + information flow

のJava +情報の流れ（短期でJIF）は、コンパイル時と実行時の両方で、情報フロー制御とアクセス制御をサポートしてJavaを拡張し、セキュリティ型付けプログラミング言語です。
JIFコンパイラとランタイムシステムのソースコードがダウンロードできるようになりました。 JIFは、Javaで書かれており、ポリグロット拡張可能なJavaコンパイラフレームワークを使用して構築されています。
静的な情報フロー制御は、コンピューティングシステムによって操作される情報の機密性と完全性を保護することができます。コンパイラは、情報セキュリティプロパティは、エンドツーエンドシステム内で実施する、その使用を制限する政策をとの対応関係を追跡します。 JIFプログラム内の情報の流れを確認した後、JIFコンパイラは、Javaプログラムにそれらを変換し、安全な実行可能プログラムを生成するために、通常のJavaコンパイラを使用しています。
JIF情報を使用することができるかに関する制限を表すラベルを付加することで、Javaを拡張します。たとえば、次の変数宣言だけではなく、変数xがint型であることが、また、xの情報がセキュリティポリシーによって管理されていることを宣言します。
    int型{アリス→ボブ} X;
この場合、セキュリティポリシーは、xの情報が主なアリスによって制御されること、及びアリスが主なボブによって見られるように、この情報を可能にすることを言います。ポリシー{アリス←ボブは}情報はアリスによって所有されていることを意味し、アリスはそれがボブによって影響を受けることを可能にすること。このようなラベルのアノテーションに基づいて、JIFコンパイラは、彼らが情報の機密性と整合性を適用するかどうかを判断するために、情報は、プログラム内を流れる分析しています。