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

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 imple...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Cavadini, Salvador V.
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2007
Materias:	Ciencias Informáticas Informática information flow control non-interference SOFTWARE ENGINEERING Information flow controls Security
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/23281
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-23281
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Español
topic	Ciencias Informáticas Informática information flow control non-interference SOFTWARE ENGINEERING Information flow controls Security
spellingShingle	Ciencias Informáticas Informática information flow control non-interference SOFTWARE ENGINEERING Information flow controls Security Cavadini, Salvador V. JBLIF, a tool for non-interference analysis of java and java bytecode programs
topic_facet	Ciencias Informáticas Informática information flow control non-interference SOFTWARE ENGINEERING Information flow controls Security
description	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.
format	Objeto de conferencia Objeto de conferencia
author	Cavadini, Salvador V.
author_facet	Cavadini, Salvador V.
author_sort	Cavadini, Salvador V.
title	JBLIF, a tool for non-interference analysis of java and java bytecode programs
title_short	JBLIF, a tool for non-interference analysis of java and java bytecode programs
title_full	JBLIF, a tool for non-interference analysis of java and java bytecode programs
title_fullStr	JBLIF, a tool for non-interference analysis of java and java bytecode programs
title_full_unstemmed	JBLIF, a tool for non-interference analysis of java and java bytecode programs
title_sort	jblif, a tool for non-interference analysis of java and java bytecode programs
publishDate	2007
url	http://sedici.unlp.edu.ar/handle/10915/23281
work_keys_str_mv	AT cavadinisalvadorv jblifatoolfornoninterferenceanalysisofjavaandjavabytecodeprograms
bdutipo_str	Repositorios
_version_	1764820466072027139

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

Ejemplares similares