Java + informationsflödet (Jif kort) är ett programmeringsspråk säkerhets skrivit som sträcker Java med stöd för informationsflödeskontroll och tillträdeskontroll, både vid kompileringen och vid körning.Källkoden för Jif kompilator och körtids Systemet är...