Skip to Main content Skip to Navigation
Conference papers

SPTool - Equivalence Checker for SAND Attack Trees

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01483163
Contributor : Barbara Fila <>
Submitted on : Saturday, March 4, 2017 - 9:36:47 PM
Last modification on : Thursday, January 7, 2021 - 4:30:04 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

270