Université de Rennes 1 From qualitative to quantitative program analysis : permissive enforcement of secure information flow Approches qualitatives et quantitatives d'analyse de programmes : mise en oeuvre permissive de flux d’information sécurisés Contrôle de Flux d'InformationAnalyse de ProgrammesSécurité de l'InformationNon-interférenceQuantification des Flux d'InformationRelative SecrecyMin-capacity Information Flow ControlProgram AnalysisInformation SecurityQualitative Information FlowQuantitative Information FlowNon-interferenceRelative SecrecyMin-capacity Protection de l'information (informatique) Thèses et écrits académiques Réseaux d'ordinateurs -- Mesures de sûreté Thèses et écrits académiques Logiciels -- Vérification Thèses et écrits académiques 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. 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. Electronic Thesis or DissertationText en application/pdf1 : 1084 Kohttps://ecm.univ-rennes1.fr/nuxeo/site/esupversions/1379bead-9ef7-4dc2-9217-a611f0150871 Assaf Mounir 1987-09-25 MA 187670994 mounir.assaf@larez.fr 2015REN1S003 http://www.theses.fr/2015REN1S003 2015-05-06 Informatique Université de Rennes 1thesis.degree.grantor_1 02778715X Doctorat non ouiTotelÉricintervenant_1059780681TronelFrédéricintervenant_2075985314 Mathématiques, informatique, signal, électronique et télécommunicationsecoleDoctorale_1 139007164 IRISApartenaireRecherche_1 026386909 Université européenne de BretagnepartenaireRecherche_2 139075119 ddc:004 TotelÉricTronelFrédéricUniversité de Rennes 1Sciences et technologie, médecine, pharmacie, odontologie, droit, économie, gestion, philosophieMathématiques, informatique, signal, électronique et télécommunicationsÉcole doctorale Mathématiques, informatique, signal, électronique et télécommunications (Rennes)IRISAUniversité européenne de Bretagne ASCII PDF 1109926