Bastien Sultan, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert. W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures. In Luís Ferreira Pires, Slimane Hammoudi, Edwin Seidewitz, editors, Model-Driven Engineering and Software Development - 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers. Volume 1708 of Communications in Computer and Information Science, pages 203-229, Springer, 2022. [doi]
Abstract is missing.