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 código fuente para el compilador Jif y el sistema de tiempo de ejecución ya está disponible para su descarga. Jif está escrito en Java y está construido utilizando el marco compilador Java extensible Políglota.
La información estática de control de flujo puede proteger la confidencialidad e integridad de la información manipulada por los sistemas de computación. El compilador de seguimiento de la correspondencia entre la información de las políticas que restringen su uso, la aplicación de las propiedades de seguridad de extremo a extremo dentro del sistema. Después de comprobar el flujo de información dentro de los programas de Jif, el compilador Jif las traduce a programas Java y utiliza un compilador Java ordinaria para producir programas ejecutables seguras.
Jif extiende Java añadiendo etiquetas que expresan restricciones sobre cómo se puede utilizar la información. Por ejemplo, la siguiente declaración de variable declara no sólo que la variable x es un entero, sino también que la información en x se rige por una política de seguridad:
int {Alice → Bob x};
En este caso, la política de seguridad dice que la información en x es controlado por el director de Alicia, y que Alice permite que esta información sea visto por el director Bob. La política {Alice ← Bob} significa que la información es propiedad de Alice, y que Alice permite que sea afectada por Bob. Con base en las anotaciones de la etiqueta como estos, el compilador Jif analiza los flujos de información dentro de los programas, que determina si se hacen cumplir la confidencialidad e integridad de la información.
Comentarios que no se encuentran