Florian Kammüller. Attack Trees in Isabelle. In David Naccache, Shouhuai Xu, Sihan Qing, Pierangela Samarati, Gregory Blanc, Rongxing Lu, Zonghua Zhang, Ahmed Meddahi, editors, Information and Communications Security - 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings. Volume 11149 of Lecture Notes in Computer Science, pages 611-628, Springer, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.