Work

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

Year: 2007

Type: conference-paper

Abstract: 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.

Source: El Servicio de Difusión de la Creación Intelectual (National University of La Plata)

Author: Salvador Cavadini

Institution: Institut national de recherche en sciences et technologies du numérique

Language: Spanish

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1553635596

FWCI:

Cites: 16

Cited by:

Related to: 10