LIBQIF: a quantitative information flow C++ toolkit library

A fundamental concern in computer security is to control information ow, whether to protect con dential information from being leaked, or to protect trusted information from being tainted. A classic approach is to try to enforce non-interference. Unfortunately, achieving non-interference is often no...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Martinelli, Fernán G.
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2014
Materias:
Ciencias Informáticas
QIF
quantitative
information flow
C++ library
Information flow controls
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/42039
http://43jaiio.sadio.org.ar/proceedings/EST/6_764-2536-1-DR.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares