 |
|
|
|
| HAL : hal-00445445, version 2 |
| DOI : 10.1007/978-3-642-12002-2_32 |
| Fiche détaillée |  Récupérer au format |
|
|
| 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010), Paphos : Chypre (2010) |
|
|
| Versions disponibles : | v1 (10-01-2010) | v2 (19-12-2010) |
|
|
|
|
| Computing the Leakage of Information-Hiding Systems |
|
|
| Miguel E. Andrés 1Catuscia Palamidessi 2 |
|
|
| (2010) |
|
|
|
| We address the problem of computing the information leakage of a system in an efficient way. We propose two methods: one based on reducing the problem to reachability, and the other based on techniques from quantitative counterexample generation. The second approach can be used either for exact or approximate computation, and provides feedback for debugging. These methods can be applied also in the case in which the input distribution is unknown. We then consider the interactive case and we point out that the definition of associated channel proposed in literature is not sound. We show however that the leakage can still be defined consistently, and that our methods extend smoothly. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Computing Science Department (CS) |
|
|
|
Radboud university of Nijmegen |
|
|
| 2 : | COMETE (INRIA Saclay - Ile de France) |
|
|
|
INRIA – Polytechnique - X – CNRS : UMR7161 |
|
|
| 3 : | School of Computing and Information Science (SCIS) |
|
|
|
Florida International University |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Cryptographie et sécurité |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00445445, version 2 | |
| http://hal.archives-ouvertes.fr/hal-00445445 | |
| oai:hal.archives-ouvertes.fr:hal-00445445 | |
| Contributeur : Catuscia Palamidessi | |
| Soumis le : Samedi 18 Décembre 2010, 20:33:52 | |
| Dernière modification le : Lundi 27 Décembre 2010, 06:42:10 | |
