Java + flujo de información (Jif en corto) es un lenguaje de programación de seguridad-mecanografiado que se extiende de Java con soporte para información de control de flujo y control de acceso, tanto en tiempo de compilación y en tiempo de ejecución.El...