JAEGER Éric

Doktor
Forschungsgruppe : SPI
Datum, an dem das LIP6 verlassen wurde : 09.03.2010
https://lip6.fr/Eric.Jaeger

Forschungsleitung (Direction de recherche) : Thérèse HARDIN

Co-Betreuung : DUBOIS Catherine

Etude de l'apport des méthodes formelles déductives pour les développement de sécurité

Quelles sont les apports mais aussi les limites des méthodes formelles déductives pour les développement de sécurité ? Nous identifions quelques pièges pour les développeurs ou les évaluateurs de sécurité, avant de proposer quelques recommandations pour améliorer le niveau de confiance. Cette étude passe par une formalisation du concept de raffinement et la validation d'une méthode formelle par un plongement.

Verteidigung einer Doktorarbeit : 08.03.2010

Mitglieder der Prüfungskommission :

Gilles Dowek (LIX) [Rapporteur]
César Muñoz (NASA Langley Research Center) [Rapporteur]
Examinateurs : Béatrice Bérard (MoVe-LIP6)
Sylvain Boulmé (VERIMAG)
Catherine Dubois (ENSIIE)
Loic Duflot (ANSSI)
Thérèse Hardin (SPI-LIP6)
Fairouz Kamareddine (Heriot-Watt University, Edinburgh)

Datum, an dem das LIP6 verlassen wurde : 09.03.2010

Publikationen 2007-2010

Mentions légales
Plan