Java + informasjonsflyt (Jif i kort) er et sikkerhets skrevet programmeringsspråk som strekker Java med støtte for informasjonsflyt kontroll og adgangskontroll, både ved kompilering og under kjøring.Kildekoden for Jif kompilatoren og kjøretidssystem er nå...