Conference Papers
Year : 2017
Barbara Fila : Connect in order to contact the contributor
https://inria.hal.science/hal-01483163
Submitted on : Saturday, March 4, 2017-9:36:47 PM
Last modification on : Friday, March 24, 2023-2:53:04 PM
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⟩
Collections
170
View
0
Download