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

Autores
Cavadini, Salvador V.
Año de publicación
2007
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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)
Materia
Ciencias Informáticas
Informática
information flow control
non-interference
SOFTWARE ENGINEERING
Information flow controls
Security
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/23281

id SEDICI_d17359860584721ed6dab82d5d9baf8e
oai_identifier_str oai:sedici.unlp.edu.ar:10915/23281
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling JBLIF, a tool for non-interference analysis of java and java bytecode programsCavadini, Salvador V.Ciencias InformáticasInformáticainformation flow controlnon-interferenceSOFTWARE ENGINEERINGInformation flow controlsSecurityProtecting 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)2007-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf1714-1724http://sedici.unlp.edu.ar/handle/10915/23281spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T10:55:25Zoai:sedici.unlp.edu.ar:10915/23281Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 10:55:25.765SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv JBLIF, a tool for non-interference analysis of java and java bytecode programs
title JBLIF, a tool for non-interference analysis of java and java bytecode programs
spellingShingle JBLIF, a tool for non-interference analysis of java and java bytecode programs
Cavadini, Salvador V.
Ciencias Informáticas
Informática
information flow control
non-interference
SOFTWARE ENGINEERING
Information flow controls
Security
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
dc.creator.none.fl_str_mv Cavadini, Salvador V.
author Cavadini, Salvador V.
author_facet Cavadini, Salvador V.
author_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
Informática
information flow control
non-interference
SOFTWARE ENGINEERING
Information flow controls
Security
topic Ciencias Informáticas
Informática
information flow control
non-interference
SOFTWARE ENGINEERING
Information flow controls
Security
dc.description.none.fl_txt_mv 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)
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.
publishDate 2007
dc.date.none.fl_str_mv 2007-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/23281
url http://sedici.unlp.edu.ar/handle/10915/23281
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
1714-1724
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844615812776722432
score 13.070432