Hybrid Information Flow Monitoring Against Web Tracking

Frédéric Besson 1 Nataliia Bielova 1 Thomas Jensen 1
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Motivated by the problem of stateless web tracking (fingerprinting), we propose a novel approach to hybrid information flow monitoring by tracking the knowledge about secret variables using logical formulae. This knowledge representation helps to compare and improve precision of hybrid infor- mation flow monitors. We define a generic hybrid monitor parametrised by a static analysis and derive sufficient conditions on the static analysis for sound- ness and relative precision of hybrid monitors. We instantiate the generic monitor with a combined static constant and dependency analysis. Several other hybrid monitors including those based on well-known hybrid techniques for information flow control are formalised as instances of our generic hybrid monitor. These monitors are organised into a hierarchy that establishes their relative precision. The whole framework is accompanied by a formalisation of the theory in the Coq proof assistant.
Type de document :
Communication dans un congrès
CSF - 2013 IEEE 26th Computer Security Foundations Symposium, 2013, New Orleans, United States. 2013, 〈10.1109/CSF.2013.23〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00924138
Contributeur : Frédéric Besson <>
Soumis le : lundi 6 janvier 2014 - 14:41:53
Dernière modification le : mercredi 16 mai 2018 - 11:23:28
Document(s) archivé(s) le : jeudi 10 avril 2014 - 16:41:04

Fichier

hybrid_information_flow_monito...
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Frédéric Besson, Nataliia Bielova, Thomas Jensen. Hybrid Information Flow Monitoring Against Web Tracking. CSF - 2013 IEEE 26th Computer Security Foundations Symposium, 2013, New Orleans, United States. 2013, 〈10.1109/CSF.2013.23〉. 〈hal-00924138〉

Partager

Métriques

Consultations de la notice

2058

Téléchargements de fichiers

340