Java + information flow 3.0

Java + flux d'informations (Jif en abrégé) est un langage de programmation de sécurité typé qui étend Java avec le soutien pour le contrôle des flux d'information et de contrôle d'accès, tant au moment de la compilation et au moment de...