TY  - THES
DP  - http://www.theses.fr/2019ISAR0019
TI  - Formal modeling and quantitative analysis of security using attack- defense trees
AU  - Widel, Wojciech
A3  - Avoine, Gildas
PY  - 2019
N1  - Thèse de doctorat Informatique Rennes, INSA 2019
N1  - 2019ISAR0019
UR  - http://www.theses.fr/2019ISAR0019/document
ER  -