Formal modeling and quantitative analysis of security using attack- defense trees
/ Wojciech Widel ; sous la direction de Gildas Avoine. Thèse de doctorat : Informatique
: Rennes, INSA : 2019
Information trouvée : Senior Lecturer, University of Dundee