Beyond 2014: Formal Methods for Attack Tree-based Security Modeling

Wojciech Wideł (1) , Maxime Audinot (2) , Barbara Fila (3, 1) , Sophie Pinchinat (2)

1 INSA Rennes - Institut National des Sciences Appliquées - Rennes
2 LogicA - Logic and Applications
3 EMSEC - EMbedded SEcurity and Cryptography

Domaines: Informatique [cs]; Cryptographie et sécurité [cs.CR]

Wojciech Wideł, Maxime Audinot, Barbara Fila, Sophie Pinchinat. Beyond 2014: Formal Methods for Attack Tree-based Security Modeling. ACM Computing Surveys, 2019, 52 (4), pp.1-36. ⟨10.1145/3331524⟩. ⟨hal-02308427⟩