Java + information flow 3.0

のJava +情報の流れ（短期でJIF）は、コンパイル時と実行時の両方で、情報フロー制御とアクセス制御をサポートしてJavaを拡張し、セキュリティ型付けプログラミング言語です。JIFコンパイラとランタイムシステムのソースコードがダウンロードできるようになりました。...