Accéder directement au contenu

Didier Vojtisek

2
Documents

Publications

sophie-pinchinat
Image document

ATSyRa: An Integrated Environment for Synthesizing Attack Trees

Sophie Pinchinat , Mathieu Acher , Didier Vojtisek
Second International Workshop on Graphical Models for Security (GraMSec'15) co-located with CSF'15, Jul 2015, Verona, Italy
Communication dans un congrès hal-01243021v1
Image document

Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis

Sophie Pinchinat , Mathieu Acher , Didier Vojtisek
Workshop on Formal Methods in the Development of Software (co-located with SEFM), Sep 2014, Grenoble, France
Communication dans un congrès hal-01064645v1