Procédures de décision pour l'analyse de vulnérabilités
FR |
EN
Auteur / Autrice : | Benjamin Farinier |
Direction : | Marie-Laure Potet, Sébastien Bardin |
Type : | Thèse de doctorat |
Discipline(s) : | Mathématiques et informatique |
Date : | Soutenance le 24/06/2020 |
Etablissement(s) : | Université Grenoble Alpes |
Ecole(s) doctorale(s) : | École doctorale Mathématiques, sciences et technologies de l'information, informatique (Grenoble ; 1995-....) |
Partenaire(s) de recherche : | Laboratoire : Laboratoire Verimag (Grenoble) |
Jury : | Président / Présidente : Roland Groz |
Examinateurs / Examinatrices : Mihaela Sighireanu, Jean Goubault-Larrecq | |
Rapporteurs / Rapporteuses : Thomas Jensen, Sylvain Conchon |
Mots clés
FR |
EN
Résumé
FR |
EN
Les méthodes formelles ont à plusieurs reprises montré leur pertinence dans la recherche et l'analyse de bogues. Si les méthodes actuelles sont bien adaptées à l'analyse de code critique où les erreurs ne sont pas une option, leur intérêt est moindre sur des programmes non critique. En effet, sur de tels programmes où les bugs sont pléthores, seuls les plus graves sont corrigés, une distinction qui ne sied pas avec les outils d'aujourd'hui.Le but de cette thèse est donc de permettre une telle gradation dans le contexte fort des méthodes formelles, ce qui passe par le développement de nouvelles procédures de décisions adaptées à l'analyse de vulnérabilité.