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

Ejemplares similares

Ejemplares similares