CTL
26 juin 2012 - 10h30
A Formal Framework for Specifying and Analyzing Liabilities Using Log as Digital Evidence (Phd Defense)
par Eduardo Mazza de Verimag
Résumé : Malgré les progrès importants effectués en matière de conception de logiciels et l'existence de méthodes de développement éprouvées, il faut reconnaître que les défaillances de systèmes causées par des logiciels restent fréquentes. Il est donc important de pouvoir déterminer en cas de dommages causés par des logiciels les responsabilités des différentes parties.
Dans cette thèse, nous proposons un cadre formel pour spécifier et établir les responsabilités en cas de dysfonctionnement d'un logiciel. Notre première contribution est une méthode permettant d'intégrer les définitions formelles de responsabilité et d'éléments de preuves dans le contrat juridique. Les éléments de preuves sont fournis par une architecture de logs dite ``acceptable'' qui dépend des types de griefs considérés par les parties. La seconde contribution importante est la définition d'une procédure incrémentale, qui est mise en oeuvre dans l'outil LAPRO, pour l'analyse incrémentale de logs distribués.
Jury:
Regine Laleau Université Paris-Est Créteil Lyon Rapporteur
Gerardo Schneider University of Gothenburg Rapporteur
Guillaume Dufay Trusted Labs Examinateur
Jean-Marc Jézéquel IRISA Examinateur
Roland Groz Grenoble INP Examinateur
Marie-Laure Potet Grenoble INP Directeur de thèse
Daniel Le Métayer INRIA Directeur de thèse
