W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures.
Bastien Sultan, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert
VenueCMODELSWARD
Year2022
ProceedingsMODELSWARD (Revised Selected Papers)
DBLP recordconf/modelsward/SultanAJC22 ↗
Browse the full MODELSWARD paper archive.