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

Mounir Assaf 1
1 CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
IRISA-D1 - SYSTÈMES LARGE ÉCHELLE, Inria Rennes – Bretagne Atlantique , CentraleSupélec
Abstract : Computers have become widespread nowadays. All these computers store and process information. Often, some of this information is sensitive; hence the need to confine and control its dissemination. An important field in computer science, that is concerned about analysing programs in order to confine and control the release of sensitive information, is the information flow control field. The contributions of this thesis include program analysis techniques for qualitative and quantitative information flow control. Qualitative techniques aim at detecting and preventing information leaks. Quantitative techniques go beyong the detection of information leaks, by estimating the leakage in order to decide whether it is negligeable.
Document type :
Theses
Complete list of metadatas

Cited literature [100 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01184857
Contributor : Abes Star <>
Submitted on : Tuesday, August 18, 2015 - 9:42:06 AM
Last modification on : Friday, November 16, 2018 - 1:39:23 AM
Long-term archiving on : 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

838

Files downloads

410