JAEGER Éric

Dottore di ricerca
Gruppo di ricerca : SPI
Data di partenza : 03/09/2010
https://lip6.fr/Eric.Jaeger

Relatore : Thérèse HARDIN

Co-relazione : 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.

Difesa : 03/08/2010

Membri della commissione :

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)

Data di partenza : 03/09/2010

Pubblicazioni 2007-2010

Tutti Articoli su atti di conferenza These Altre pubblicazioni

2010
- É. Jaeger : “Etude de l’apport des méthodes formelles déductives pour les développement de sécurité”, these, difesa 03/08/2010, relatore Hardin, Thérèse, co-relazione : Dubois, Catherine (2010)
2009
- É. Jaeger, Th. Hardin : “Yet Another Deep Embedding of B:Extending de Bruijn Notations”, (2009)
2008
- É. Jaeger, Th. Hardin : “A Few Remarks About Formal Development of Secure Systems”, High Assurance Systems Engineering Symposium, 2008. HASE 2008. 11^th IEEE, Nanjing, China, pp. 165-174, (IEEE) (2008)
2007
- É. Jaeger, C. Dubois : “Why Would You Trust B?”, Logic for Programming, Artificial Intelligence, and Reasoning, vol. 4790/2007, Lecture Notes in Computer Science, Yerevan, Armenia, pp. 288-302, (Springer Berlin / Heidelberg) (2007)