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...
- Accueil
- Stephen Chong, Andrew Myers and K. Vik...
- Outils de développement
- Interprètes et compilateurs