Verificador de flujo de información de la tarjeta de Java JCSI es una herramienta prototipo para el análisis y visualización de los archivos de CAP de tarjetas Java. El método de análisis implementado en la herramienta se basa en la teoría de la interpretación abstracta y un SECU multinivel.
Descargar ahora

Verificador de flujo de información de la tarjeta de Java Clasificación y resumen

Verificador de flujo de información de la tarjeta de Java Etiquetas

Verificador de flujo de información de la tarjeta de Java Descripción

JCSI es una herramienta de prototipo para el análisis de los archivos de CAP de tarjeta Java JCSI es una herramienta prototipo para el análisis y visualización de los archivos de CAP de tarjeta Java. El método de análisis implementado en la herramienta se basa en la teoría de la interpretación abstracta y una asignación de políticas de seguridad de varios niveles. Los valores reales de las variables se abstraen en niveles de seguridad, y las instrucciones de bytecode se ejecutan sobre un dominio abstracto. La herramienta se puede utilizar para descubrir problemas de seguridad debido a flujos de información explícitos o implícitos y para verificar las propiedades de seguridad de las aplicaciones de tarjetas de Java descargadas de fuentes no confiables.

Verificador de flujo de información de la tarjeta de Java Software relacionado