Wojciech Widel, Maxime Audinot, Barbara Fila, Sophie Pinchinat. Beyond 2014: Formal Methods for Attack Tree-based Security Modeling. ACM Computing Surveys, 52(4), 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.