SPTool - Equivalence Checker for SAND Attack Trees - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2017

SPTool - Equivalence Checker for SAND Attack Trees

Barbara Kordy
  • Function : Author
  • PersonId : 962893
Kordy Piotr
  • Function : Author
van den Boom Yoann
  • Function : Author
No file

Dates and versions

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

Identifiers

Cite

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 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More