From qualitative to quantitative program analysis : permissive enforcement of secure information flow

Mounir Assaf 1
1 CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
CentraleSupélec, Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
Résumé : De nos jours, les ordinateurs sont omniprésents. Tous ces ordinateurs stockent et manipulent de l'information, parfois sensible, d'où l'intérêt de protéger et de confiner la dissémination de cette information. Les mécanismes de contrôle de flux d'information permettent justement d'analyser des programmes manipulant de l'information sensible, afin de prévenir les fuites d'information. Les contributions de cette thèse incluent des techniques d'analyse de programmes pour le contrôle de flux d'information tant qualitatif que quantitatif. Les techniques d'analyse qualitatives permettent la détection et la prévention des fuites d'information. Les techniques quantitatives permettent d'estimer ces fuites afin de décider si elles sont négligeables.
Type de document :
Thèse
Cryptography and Security [cs.CR]. Université Rennes 1, 2015. English. <NNT : 2015REN1S003>
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-01184857
Contributeur : Abes Star <>
Soumis le : mardi 18 août 2015 - 09:42:06
Dernière modification le : samedi 18 février 2017 - 01:09:49
Document(s) archivé(s) le : jeudi 19 novembre 2015 - 10:15:25

Fichier

ASSAF_Mounir.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01184857, version 1

Citation

Mounir Assaf. From qualitative to quantitative program analysis : permissive enforcement of secure information flow. Cryptography and Security [cs.CR]. Université Rennes 1, 2015. English. <NNT : 2015REN1S003>. <tel-01184857>

Partager

Métriques

Consultations de
la notice

461

Téléchargements du document

198