"Auteur";"Identifiant auteur";"Titre";"Directeur de these";"Directeur de these (nom prenom)";"Identifiant directeur";"Etablissement de soutenance";"Identifiant etablissement";"Discipline";"Statut";"Date de premiere inscription en doctorat";"Date de soutenance";"Langue de la these";"Identifiant de la these";"Accessible en ligne";"Publication dans theses.fr";"Mise a jour dans theses.fr";
Wojciech Widel;24316016X;Formal modeling and quantitative analysis of security using attack- defense trees;Gildas Avoine;Avoine Gildas;07459608X;Rennes, INSA;050228064;Informatique;soutenue;;03-12-2019;en;2019ISAR0019;oui;24-03-2020;17-07-2020;