News Help Institutional access
Back to results
Bibliographic record · Consultation and access
Document

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

Cavadini, Salvador V · SEDICI UNLP · 2007

Open-access full text
Quick overview. Review the resource’s basic details, then access the content using the main button. This page shows only the information needed to identify, cite, and open the work.
Author / responsible party
Cavadini, Salvador V
Publisher
SEDICI UNLP
Year
2007
Language
Spanish

Resource access

Open the content from the main option or choose another available source.

SEDICI UNLP SEDICI UNLP OAI-PMH
Entrar por SEDICI UNLP
Main access

Open-access full text

Texto completo identificado como acceso abierto.
Open text

Summary

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)

How to cite

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 8 Aug. 2026].

Share and print

Save the record, copy its permanent link, or print it as a PDF.

Export reference

You can export the record in common formats for use in a reference manager.

RIS BibTeX

Resource details

Bibliographic information to help confirm that this is the correct material.

Title
JBLIF, a tool for non-interference analysis of java and java bytecode programs
Author / contributors
Cavadini, Salvador V
Publisher
SEDICI UNLP
Publication year
2007
Language
Spanish

Subjects

Explore related resources through these subjects.

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