Java + information flow

자바 + 정보 흐름 (짧은 JIF)은 컴파일시에 실행시에 모두 정보 흐름 제어 및 액세스 제어를 지원하는 확장 자바 보안 형식의 프로그래밍 언어이다.
JIF 컴파일러와 런타임 시스템의 소스 코드를 다운로드 할 수 있습니다. JIF는 자바로 작성되고, 수개 국어로 확장 자바 컴파일러 프레임 워크를 사용하여 만들어집니다.
정적 정보 흐름 제어는 기밀성과 컴퓨팅 시스템에 의해 조작 정보의 무결성을 보호 할 수있다. 컴파일러는 정보 보안 특성 엔드 - 투 - 엔드 시스템 내에서 집행, 그것의 사용을 제한하는 정책을 사이에 대응 관계를 추적합니다. JIF 프로그램 내에서 정보 흐름을 확인한 후 JIF 컴파일러는 자바 프로그램로 변환하고 안전한 실행 프로그램을 생산하는 통상의 Java 컴파일러를 사용한다.
JIF는 정보가 어떻게 사용되는지에 대한 제한을 표현 라벨을 추가하여 자바를 확장한다. 예를 들어, 다음 변수 선언뿐만 아니라 변수 x가 INT 것을, 또한 X의 정보 보안 정책이 적용되어 있음 :
    INT {앨리스 → 밥} X;
이 경우, 보안 정책은 X의 정보가 주체 앨리스에 의해 제어된다, 앨리스는 밥 주체가 볼 수 있도록이 허용하는 정보를 말한다. 정책 {앨리스는 밥 ←} 정보 앨리스에 의해 소유되는 것을 의미하고, 앨리스가 밥에 의해 영향을받을 수있게하는 것이다. 이와 같은 라벨 주석에 기초하여, JIF 컴파일러 정보들이 정보의 기밀성 및 무결성을 적용할지 여부를 결정하기 위해, 프로그램 내에서 흘러 분석한다.