JBLIF, a tool for non-interference analysis of java and java bytecode programs
Testo / risorsa
Testo / risorsa
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...
Idioma Español
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access