La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

Potet Marie-Laure Périn Michaël. LISE Liability Issues in Software Engineering Définition des responsabilités à la formation des contrats Engagement sur.

Présentations similaires


Présentation au sujet: "Potet Marie-Laure Périn Michaël. LISE Liability Issues in Software Engineering Définition des responsabilités à la formation des contrats Engagement sur."— Transcription de la présentation:

1 Potet Marie-Laure Périn Michaël

2 LISE Liability Issues in Software Engineering Définition des responsabilités à la formation des contrats Engagement sur des spécifications Responsabilités en cas de dysfonctionnement Éléments de preuves, les logs Analyse de logs Détection des incohérences et de leurs provenance

3 Application aux protocoles de sécurité Participants à la communication Le participant honnête Lintrus Vérification logique des protocoles Le modèle Dolev-Yao

4 Cadre retenu Systèmes distribués, communication par envoi de messages Logs de composants !m : « envoi du message m » ?m : « réception du message m » C: !a ?b !c !d ?e Reconstitution de la causalité des évènements e e: « Lévènement e a eu lieu avant e »

5 Construction dun ordre partiel Système de déduction Envoi-réception dun message |-- !m ?m Il est impossible de recevoir un message non envoyé ?m !m |-- Incohérence Causalité issue de lordre denregistrement des logs C : …e….e… |-- e e Relation de transitivité e1 e2, e2 e3 |-- e1 e3

6 Exemple C1: ?a !b !c... C2 : ?c ?b !a...

7 Reconstruction de lordre partiel Implémentation en Ocaml Représentation des messages et des logs Travail en 2 étapes: Reconstitution du graphe de causalité Déduction des relations de transitivité

8 Justification des déductions Trace des règles utilisées Structure récursive Détection dincohérences Cycles de causalités Sources dincohérences

9 Conclusion Travail réalisé Recherche bibliographique Outils de détection dincohérence réalisé Suite du travail: Analyser les incohérences et déterminer les responsabilités => élargir le modèle: traçabilité des données


Télécharger ppt "Potet Marie-Laure Périn Michaël. LISE Liability Issues in Software Engineering Définition des responsabilités à la formation des contrats Engagement sur."

Présentations similaires


Annonces Google