Java + information flow

Jif (Java + information flow) is a security-typed programming language that extends Java with support for information flow control and access control, both at compile time and at run time. Static information flow control can protect the confidentiality and integrity of information manipulated by computing systems. The compiler tracks the correspondence between information the policies that restrict its use, enforcing security properties end-to-end within the system. After checking information flow within Jif programs, the Jif compiler translates them to Java programs and uses an ordinary Java compiler to produce secure executable programs.