| Java +情報フロー Java + Information Flowは、情報フロー制御をサポートしてJavaを拡張するセキュリティ型プログラミング言語です。 |
今すぐダウンロード |
Java +情報フロー ランキングとまとめ
- 出版社名:
- Stephen Chong, Andrew Myers and K. Vikram
- 出版社のWebサイト:
- http://www.cs.cornell.edu/jif/
Java +情報フロー タグ
Java +情報フロー 説明
Java + Information Flowは、情報フロー制御をサポートしてJavaを拡張するセキュリティ型プログラミング言語です。 Java + Information Flow(短い)は、コンパイル時と実行時に、情報フロー制御とアクセス制御をサポートしてJavaを拡張するセキュリティ型プログラミング言語です.JIFコンパイラとランタイムシステムのソースコードダウンロード可能になりました。 JIFはJavaで書かれており、Polyglot Extensible JavaコンパイラFramework.Static情報フロー制御は、コンピューティングシステムによって操作された情報の機密性と完全性を保護することができます。コンパイラは、システム内でセキュリティプロパティをエンドツーエンドに強制する、その使用を制限するポリシーの対応を追跡します。 JIFプログラム内の情報フローを確認した後、JIFコンパイラはそれらをJavaプログラムに変換し、通常のJavaコンパイラを使用して安全な実行可能プログラムを作成します。たとえば、次の変数宣言は、変数xがintであるだけでなく、x内の情報がセキュリティポリシーによって管理されていることを宣言します.int {alice→bob} x;この場合、セキュリティポリシーはXの情報は主要なアリスによって制御され、アリスはこの情報が主なボブによって見られることを許可する。政策{Alice§Bob}は、情報がアリスによって所有されていること、そしてアリスがBOBの影響を受けることを許可することを意味します。これらのラベルアノテーションに基づいて、JIFコンパイラはプログラム内の情報フローを分析し、それらが情報の機密性と整合性を強制するかどうかを判断します。
Java +情報フロー 関連ソフトウェア