SPTool - Equivalence Checker for \mathtt SAND Attack Trees

Barbara Kordy, Piotr Kordy, Yoann van den Boom. SPTool - Equivalence Checker for \mathtt SAND Attack Trees. In Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay, editors, Risks and Security of Internet and Systems - 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers. Volume 10158 of Lecture Notes in Computer Science, pages 105-113, Springer, 2016. [doi]

Abstract

Abstract is missing.