Formalisation d’arguments de sécurité

S’inscrivant dans la continuité du premier stage, ce projet vise à unifier les langages de description de structures argumentatives GSN et TCL et à adapter la théorie de Dempster-Shafer au langage unifié. Cette théorie est la plus adéquate pour intégrer à une structure argumentative les évaluations de ses noeuds. Notre objectif est d’arriver à déterminer de bonnes règles servant à propager avec précision les évaluations des noeuds enfants vers le noeud racine. Le résultat des modèles d’inférence est très important pour l’entreprise partenaire, car l’interprétation de ces modèles en termes d’analyse de risques donne lieu à d’importantes prises de décisions. Ce travail aboutira à une meilleure définition des méthodes d’interprétation de structures argumentatives.

Faculty Supervisor:

Jules Desharnais

Student:

Partner:

Groupe de développement ICRTECH inc

Discipline:

Computer science

Sector:

Professional, scientific and technical services

University:

Université Laval

Program: