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...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
2014
|
| Materias: | |
| 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: |
| id |
I19-R120-10915-42039 |
|---|---|
| record_format |
dspace |
| institution |
Universidad Nacional de La Plata |
| institution_str |
I-19 |
| repository_str |
R-120 |
| collection |
SEDICI (UNLP) |
| language |
Inglés |
| topic |
Ciencias Informáticas QIF quantitative information flow C++ library Information flow controls |
| spellingShingle |
Ciencias Informáticas QIF quantitative information flow C++ library Information flow controls Martinelli, Fernán G. LIBQIF: a quantitative information flow C++ toolkit library |
| topic_facet |
Ciencias Informáticas QIF quantitative information flow C++ library Information flow controls |
| description |
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 not possible, because often there is a correlation between secrets and observables, either by design or due to some physical feature of the computation (side channels). One promising approach to relaxing noninterference, is to develop a quantitative theory of information ow that allows us to reason about how much information is being leaked, thus paving the way to the possibility of tolerating small leaks.
In this work, we aim at developing a quantitative information ow C++ toolkit library, implementing several algorithms from the areas of QIF (more speci cally from four theories: Shannon Entropy, Min-Entropy, Guessing Entropy and G-Leakage) and Di erential Privacy. The library can be used by academics to facilitate research in these areas, as well as by students as a learning tool. A primary use of the library is to compute QIF measures as well as to generate plots, useful for understanding their behavior. Moreover, the library allows users to compute optimal di erentially private mechanisms, compare the utility of known mechanisms, compare the leakage of channels, compute gain functions that separate channels, and various other functionalities related to QIF. |
| format |
Objeto de conferencia Objeto de conferencia |
| author |
Martinelli, Fernán G. |
| author_facet |
Martinelli, Fernán G. |
| author_sort |
Martinelli, Fernán G. |
| title |
LIBQIF: a quantitative information flow C++ toolkit library |
| title_short |
LIBQIF: a quantitative information flow C++ toolkit library |
| title_full |
LIBQIF: a quantitative information flow C++ toolkit library |
| title_fullStr |
LIBQIF: a quantitative information flow C++ toolkit library |
| title_full_unstemmed |
LIBQIF: a quantitative information flow C++ toolkit library |
| title_sort |
libqif: a quantitative information flow c++ toolkit library |
| publishDate |
2014 |
| url |
http://sedici.unlp.edu.ar/handle/10915/42039 http://43jaiio.sadio.org.ar/proceedings/EST/6_764-2536-1-DR.pdf |
| work_keys_str_mv |
AT martinellifernang libqifaquantitativeinformationflowctoolkitlibrary |
| bdutipo_str |
Repositorios |
| _version_ |
1764820473189761028 |