JBLIF, a tool for non-interference analysis of java and java bytecode programs

Cavadini, Salvador V · SEDICI UNLP · 2007

Acceso abierto al texto completo

Lectura rápida. Revisá los datos básicos del recurso y luego accedé al contenido desde el botón principal. En esta ficha solo se muestra la información necesaria para identificar la obra, citarla y abrirla.

Autor / responsable

Cavadini, Salvador V

Editorial

SEDICI UNLP

Año

2007

Idioma

Español

Acceso al recurso

Entrá al contenido desde la opción principal o elegí otra fuente disponible.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Acceso principal

Acceso abierto al texto completo

Texto completo identificado como acceso abierto.

Abrir texto

Resumen

Descripción general del contenido del recurso.

Protecting sensitive information has become an important facet of software development. One aspect of software security relies on information flow control (IFC), a technique for discovering information leaks in software. Despite the large body of work on language-based IFC, there are only few implementation of information flow analyzers for full-scale real programming languages. This lack signifies a gap between IFC theory and practice. This work introduces, a tool that helps to overpass this gap: JBLIF –acronym from Java Bytecode-Level Information Flow–, a tool capable of statically detect information leaks in systems coded in Java and/or Java bytecode. Red de Universidades con Carreras en Informática (RedUNCI)

Cómo citar

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Cavadini, S. V. (2007). JBLIF, a tool for non-interference analysis of java and java bytecode programs. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/23281

MLA

Cavadini, Salvador V. JBLIF, a tool for non-interference analysis of java and java bytecode programs. SEDICI UNLP, 2007. http://sedici.unlp.edu.ar/handle/10915/23281.

Chicago

Cavadini, Salvador V. 2007. JBLIF, a tool for non-interference analysis of java and java bytecode programs. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/23281.

Harvard

Cavadini, S. V. 2007, JBLIF, a tool for non-interference analysis of java and java bytecode programs, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/23281 [Accessed 7 Aug. 2026].

Compartir e imprimir

Guardá la ficha, copiá su enlace permanente o imprimila como PDF.

Exportar referencia

Si usás un gestor bibliográfico, podés exportar el registro en los formatos más comunes.

RIS BibTeX

Detalles del recurso

Información bibliográfica útil para confirmar que se trata del material correcto.

Título: JBLIF, a tool for non-interference analysis of java and java bytecode programs

Autor / colaboradores: Cavadini, Salvador V

Editorial: SEDICI UNLP

Año de publicación: 2007

Idioma: Español

Materias

Explorá otros recursos relacionados a partir de estas materias.

Ciencias Informáticas; Informática; information flow control; non-interference; SOFTWARE ENGINEERING; Information flow controls; Security