"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.

Intern: 
Idriss El Megzari
Faculty Supervisor: 
Jules Desharnais
Project Year: 
2014
Province: 
Quebec
University: 
Discipline: 
Program: