Must have Software for Stephen Chong, Andrew Myers and K. Vik...

Java + information flow (Jif in short) 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.The source code for the Jif compiler and run-time system...