Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Florence Wacheux"'
Publikováno v:
GraMSec 2019-6th International Workshop on Graphical Models for Security
GraMSec 2019-6th International Workshop on Graphical Models for Security, Jun 2019, Hoboken, NJ, United States. pp.23-49, ⟨10.1007/978-3-030-36537-0_3⟩
Graphical Models for Security ISBN: 9783030365363
GraMSec@CSF
GraMSec 2019-6th International Workshop on Graphical Models for Security, Jun 2019, Hoboken, NJ, United States. pp.23-49, ⟨10.1007/978-3-030-36537-0_3⟩
Graphical Models for Security ISBN: 9783030365363
GraMSec@CSF
International audience; Attack trees are widely used for security modeling and risk analysis. Classically, an attack tree combines possible actions of the attacker into attacks. In most existing approaches, an attack tree represents generic ways of a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5b8a0abe1cce4a575ee6d3e02d915e8b
https://hal.science/hal-02533750
https://hal.science/hal-02533750
Publikováno v:
Graphical Models for Security ISBN: 9783030154646
GraMSec@FLoC
GraMSec@FLoC
We define and study the decision problem of the non-emptiness of an attack tree. This decision problem reflects the natural question of knowing whether some attack scenario described by the tree can be realized in (a given model of) the system to def
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::49b74f9e5162595bff7b9a9dfa79baa0
https://doi.org/10.1007/978-3-030-15465-3_2
https://doi.org/10.1007/978-3-030-15465-3_2