軟件截圖:
Java的+信息流（日夫的簡稱）是一個擴展的Java與信息流的控制和訪問控制的支持，無論是在編譯時和運行時的安全性類型的編程語言。
對於日夫編譯器和運行時系統的源代碼是現在可供下載。 JIF是用Java編寫，並使用多語種擴展Java編譯器框架構建。
靜態信息流量控制可以保護機密性和通過計算系統的操作信息的完整性。編譯器跟踪信息限制其使用，實施安全性端至端系統內的策略之間的對應關係。日夫計劃內檢查信息流後，日夫編譯器把他們的Java程序，使用普通的Java編譯器生成安全的可執行程序。
JIF擴展的Java通過增加表達怎樣的信息可用於限制標籤。例如，下面的變量聲明不僅變量x是一個int，而且在X上的信息由安全政策的制約聲明：
INT {愛麗絲→鮑勃} X;
在這種情況下，安全策略說，在x中的信息由主愛麗絲控制，愛麗絲允許該信息由主要鮑勃可以看出。該政策{愛麗絲←鮑勃}意味著信息被愛麗絲擁有，愛麗絲允許它受到鮑勃。基於標籤標註這樣的，在日夫編譯器分析程序中的信息流，以確定它們是否執行信息的機密性和完整性。
評論沒有發現