Java + informatiestroom (Jif in het kort) is een security-getypeerde programmeertaal Java verlengt met ondersteuning voor informatie flow control en toegangscontrole, zowel tijdens het compileren en tijdens runtime.De broncode voor de Jif compiler en...