@inproceedings{7e29bdb0fdda4cd59c52ec6505ae6797,
title = "W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures",
abstract = "The chapter provides a detailed description of W-Sec, a formal model-based countermeasures{\textquoteright} impact assessment method. It also introduces a new formal definition of the two SysML profiles used in SysML-Sec and W-Sec, enabling (i) for the future automation of several W-Sec stages and (ii) for the definition of consistency rules ensuring the consistency of the models written in these two distinct modeling languages. In addition, the chapter evaluates W-Sec with a new industry 4.0 case-study and discusses the strengths and the current limitations of the approach in this new application field.",
keywords = "Cyber-Physical Systems, Formal methods, Impact assessment, Mutations, Performance, Safety, Security, SysML-Sec, TTool",
author = "Bastien Sultan and Ludovic Apvrille and Philippe Jaillon and Sophie Coudert",
note = "Publisher Copyright: {\textcopyright} 2023, Springer Nature Switzerland AG.; Model-Driven Engineering and Software Development - 9th International Conference, MODELSWARD 2021, and 10th International Conference, MODELSWARD 2022, Revised Selected Papers ; Conference date: 06-02-2022 Through 08-02-2022",
year = "2023",
month = jan,
day = "1",
doi = "10.1007/978-3-031-38821-7\_10",
language = "English",
isbn = "9783031388200",
series = "Communications in Computer and Information Science",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "203--229",
editor = "Pires, \{Lu{\'i}s Ferreira\} and Slimane Hammoudi and Edwin Seidewitz",
booktitle = "Model-Driven Engineering and Software Development - 9th International Conference, MODELSWARD 2021, and 10th International Conference, MODELSWARD 2022, Revised Selected Papers",
}