Bastien Drouot, Valery Monthe, Sylvain Guérin, Joël Champeau. Security Analysis: From Model to System Analysis. In Slim Kallel, Mohamed Jmaiel, Mohammad Zulkernine, Ahmed Hadj Kacem, Frédéric Cuppens, Nora Cuppens, editors, Risks and Security of Internet and Systems - 17th International Conference, CRiSIS 2022, Sousse, Tunisia, December 7-9, 2022, Revised Selected Papers. Volume 13857 of Lecture Notes in Computer Science, pages 133-152, Springer, 2022. [doi]
Abstract is missing.