Java + flujo de información El flujo de información de Java + es un lenguaje de programación escrito por seguridad que amplía Java con soporte para el control de flujo de información.
Descargar ahora

Java + flujo de información Clasificación y resumen

Java + flujo de información Etiquetas

Java lenguaje de programación control de acceso fluir control de flujo A

Java + flujo de información Descripción

Java + Flujo de información es un lenguaje de programación escrito por seguridad que amplía Java con soporte para el control de flujo de información. Java + Flujo de información (JIF en breve) es un lenguaje de programación escrito por seguridad que extiende Java con soporte para el control de flujo de información y el control de acceso, tanto en el tiempo de compilación como en el tiempo de ejecución. El código fuente para el compilador JIF y el sistema de tiempo de ejecución Ahora está disponible para descargar. JIF está escrito en Java y se construye utilizando el marco del compilador Java Extensible de Polyglot. El control de flujo de información estatico puede proteger la confidencialidad e integridad de la información manipulada por los sistemas informáticos. El compilador rastrea la correspondencia entre la información las políticas que restringen su uso, lo que hace cumplir las propiedades de seguridad de extremo a extremo dentro del sistema. Después de verificar el flujo de información dentro de los programas de JIF, el compilador JIF los traduce a los programas de Java y utiliza un compilador de Java ordinario para producir programas ejecutables seguros. El JIF extiende JAVA al agregar etiquetas que expresan restricciones sobre cómo se puede usar la información. Por ejemplo, la siguiente declaración de variables declara no solo que la variable X es una int, 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 política de seguridad dice que la política de seguridad dice que el La información en X está controlada por la Principal Alice, y que Alice permite que esta información sea vista por el Bob Principal. La política {Alice ← Bob} significa que la información es propiedad de Alice, y que Alice lo permite afectado por Bob. Sobre la base de las anotaciones de etiquetas como estas, el compilador JIF analiza los flujos de información dentro de los programas, para determinar si hacen cumplir la confidencialidad e integridad de la información.

Java + flujo de información Software relacionado