자바 + 정보 흐름 (짧은 JIF)은 컴파일시에 실행시에 모두 정보 흐름 제어 및 액세스 제어를 지원하는 확장 자바 보안 형식의 프로그래밍 언어이다.JIF 컴파일러와 런타임 시스템의 소스 코드를 다운로드 할 수 있습니다. JIF는 자바로 작성되고, 수개 국어로 확장 자바 컴파일러 프레임 워크를 사용하여 만들어집니다.정적 정보 흐름 제어는 기밀성과 컴퓨팅 시스템에 의해 조작 정보의 무결성을 보호 할 수있다. 컴파일러는 정보 보안 특성 엔드 - 투 - 엔드...
- 홈페이지
- Stephen Chong, Andrew Myers and K. Vik...