Skip to Main content Skip to Navigation
Theses

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.
Document type :
Theses
Complete list of metadatas

Cited literature [100 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01184857
Contributor : Abes Star :  Contact
Submitted on : Tuesday, August 18, 2015 - 9:42:06 AM
Last modification on : Friday, April 10, 2020 - 2:11:38 AM
Document(s) archivé(s) le : Thursday, November 19, 2015 - 10:15:25 AM

File

ASSAF_Mounir.pdf
Version validated by the jury (STAR)

Identifiers

  • 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⟩

Share

Metrics

Record views

884

Files downloads

482