Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow

Abstract : Analysis of a probabilistic system often requires to learn the joint probability distribution of its random variables. The computation of the exact distribution is usually an exhaustive precise analysis on all executions of the system. To avoid the high computational cost of such an exhaustive search, statistical analysis has been studied to efficiently obtain approximate estimates by analyzing only a small but representative subset of the system's behavior. In this paper we propose a hybrid statistical estimation method that combines precise and statistical analyses to estimate mutual information and its confidence interval. We show how to combine the analyses on different components of the system with different precision to obtain an estimate for the whole system. The new method performs weighted statistical analysis with different sample sizes over different components and dynamically finds their optimal sample sizes. Moreover it can reduce sample sizes by using prior knowledge about systems and a new abstraction-then-sampling technique based on qualitative analysis. We show the new method outperforms the state of the art in quantifying information leakage.
Type de document :
Communication dans un congrès
FM 2016 - 21st International Symposium on Formal Methods, Nov 2016, Limassol, Cyprus
Liste complète des métadonnées

Littérature citée [48 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01378675
Contributeur : Fabrizio Biondi <>
Soumis le : lundi 10 octobre 2016 - 15:48:00
Dernière modification le : mardi 16 janvier 2018 - 15:54:26
Document(s) archivé(s) le : samedi 4 février 2017 - 01:34:13

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01378675, version 1

Collections

Citation

Yusuke Kawamoto, Fabrizio Biondi, Axel Legay. Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow. FM 2016 - 21st International Symposium on Formal Methods, Nov 2016, Limassol, Cyprus. 〈hal-01378675〉

Partager

Métriques

Consultations de la notice

126

Téléchargements de fichiers

67