SPTool - Equivalence Checker for SAND Attack Trees - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

SPTool - Equivalence Checker for SAND Attack Trees

Barbara Kordy
  • Fonction : Auteur
  • PersonId : 962893
Kordy Piotr
  • Fonction : Auteur
van den Boom Yoann
  • Fonction : Auteur
Fichier non déposé

Dates et versions

hal-01483163 , version 1 (04-03-2017)

Identifiants

Citer

Barbara Kordy, Kordy Piotr, van den Boom Yoann. SPTool - Equivalence Checker for SAND Attack Trees. Risks and Security of Internet and Systems - 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers, Sep 2016, Roscoff, France. pp.105-113, ⟨10.1007/978-3-319-54876-0_8⟩. ⟨hal-01483163⟩
170 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More